A Type-Theoretic Approach to Higher-Order Modules with Sharing (1994)

by Robert Harper , Mark Lillibridge
Citations:268 - 23 self