A Type-Theoretic Approach to Higher-Order Modules with Sharing.

Robert Harper, Mark Lillibridge

Browse the full POPL paper archive.