A type-theoretic approach to higherorder modules with sharing (1994)

by R Harper, M Lillibridge
Venue:In Proc. POPL’94