A type-t, hcoretic approach to higher-order modules with sharing (1994)

by Robert Harper, Mark Lillibridge
Venue:In C’o/~jer-ence record of POPL ’94: tlst .4 C:lf SIGPL.4 !VSIGA CT Symposium on Principles of Programnung Languages