Higher-order modules and the phase distinction (1990)

by R Harper, J C Mitchell, E Moggi
Venue:In Porc. of POPL’90