Robert Harper, John C. Mitchell, Eugenio Moggi
Higher-Order Modules and the Phase Distinction
POPL, 1990.
@inproceedings{POPL-1990-HarperMM, author = "Robert Harper and John C. Mitchell and Eugenio Moggi", booktitle = "{Conference Record of the 17th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/96709.96744", editor = "Frances E. Allen", isbn = "0-89791-343-4", pages = "341--354", publisher = "{ACM Press}", title = "{Higher-Order Modules and the Phase Distinction}", year = 1990, }