Robert Harper Mark Lillibridge A Type-Theoretic Approach to Higher-Order Modules with Sharing. 123-137 1994 POPL db/conf/popl/popl94.html#HarperL94