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