@inproceedings{96744,
 author = {Robert Harper and John C. Mitchell and Eugenio Moggi},
 title = {Higher-order modules and the phase distinction},
 booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1990},
 isbn = {0-89791-343-4},
 pages = {341--354},
 location = {San Francisco, California, United States},
 doi = {http://doi.acm.org/10.1145/96709.96744},
 publisher = {ACM Press},
 }