Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Robert Harper, Mark Lillibridge. A Type-Theoretic Approach to Higher-Order Modules with Sharing. In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 123-137, 1994.
Possibly Related PublicationsThe following publications are possibly variants of this publication: A type system for higher-order modulesDerek Dreyer, Karl Crary, Robert Harper. POPL 2003: 236-249 [doi] What is a Recursive Module?Karl Crary, Robert Harper, Sidd Puri. PLDI 1999: 50-63 [doi]
The following publications are possibly variants of this publication: