A type-theoretic approach to higher-order modules with sharing (0)

by Robert Harper, Mark Lillibridge
Venue:In POPL '94