E.: Higher-order modules and the phase distinction (1990)

by R Harper, J C Mitchell, Moggi
Venue:In: POPL 1990: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages