@inproceedings{DBLP:conf/popl/HarperMM90,
  author       = {Robert Harper and
                  John C. Mitchell and
                  Eugenio Moggi},
  editor       = {Frances E. Allen},
  title        = {Higher-Order Modules and the Phase Distinction},
  booktitle    = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
                  of Programming Languages, San Francisco, California, USA, January
                  1990},
  pages        = {341--354},
  publisher    = {{ACM} Press},
  year         = {1990},
  url          = {https://doi.org/10.1145/96709.96744},
  doi          = {10.1145/96709.96744},
  timestamp    = {Thu, 19 Feb 2026 16:17:01 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/HarperMM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"f5XudjgwuAJDNL84J","bibbaseid":"harper-mitchell-moggi-higherordermodulesandthephasedistinction-1990","authorIDs":[],"author_short":["Harper, R.","Mitchell, J. C.","Moggi, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Harper"],"suffixes":[]},{"firstnames":["John","C."],"propositions":[],"lastnames":["Mitchell"],"suffixes":[]},{"firstnames":["Eugenio"],"propositions":[],"lastnames":["Moggi"],"suffixes":[]}],"editor":[{"firstnames":["Frances","E."],"propositions":[],"lastnames":["Allen"],"suffixes":[]}],"title":"Higher-Order Modules and the Phase Distinction","booktitle":"Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990","pages":"341–354","publisher":"ACM Press","year":"1990","url":"https://doi.org/10.1145/96709.96744","doi":"10.1145/96709.96744","timestamp":"Thu, 19 Feb 2026 16:17:01 +0100","biburl":"https://dblp.org/rec/conf/popl/HarperMM90.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/popl/HarperMM90,\n author = {Robert Harper and\n John C. Mitchell and\n Eugenio Moggi},\n editor = {Frances E. Allen},\n title = {Higher-Order Modules and the Phase Distinction},\n booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles\n of Programming Languages, San Francisco, California, USA, January\n 1990},\n pages = {341--354},\n publisher = {{ACM} Press},\n year = {1990},\n url = {https://doi.org/10.1145/96709.96744},\n doi = {10.1145/96709.96744},\n timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},\n biburl = {https://dblp.org/rec/conf/popl/HarperMM90.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Harper, R.","Mitchell, J. C.","Moggi, E."],"editor_short":["Allen, F. E."],"key":"DBLP:conf/popl/HarperMM90","id":"DBLP:conf/popl/HarperMM90","bibbaseid":"harper-mitchell-moggi-higherordermodulesandthephasedistinction-1990","role":"author","urls":{"Paper":"https://doi.org/10.1145/96709.96744"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/EugenioMoggi.bib","creationDate":"2020-05-31T17:07:22.769Z","downloads":0,"keywords":[],"search_terms":["higher","order","modules","phase","distinction","harper","mitchell","moggi"],"title":"Higher-Order Modules and the Phase Distinction","year":1990,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}