Higher-order modules and the References 19 phase distinction (1990)

by R Harper, J C Mitchell, E Moggi
Venue:In Seventeenth ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages