Sciweavers

POPL
1994
ACM

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

14 years 3 months ago
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Robert Harper, Mark Lillibridge
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where POPL
Authors Robert Harper, Mark Lillibridge
Comments (0)