Higher-order modules and the phase distinction (1990)

by J, E MOGGI
Venue:in “17th POPL.,” Assoc. Comput