Higher-Order Modules and the Phase Distinction (1990)

by Robert Harper, John C. Mitchell, Eugenio Moggi
Venue:In Seventeenth ACM Symposium on Principles of Programming Languages