Units
- 1 May 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 236-248
- https://doi.org/10.1145/277650.277730
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Program fragments, linking, and modularizationPublished by Association for Computing Machinery (ACM) ,1997
- TILPublished by Association for Computing Machinery (ACM) ,1996
- Higher-order functors with transparent signaturesPublished by Association for Computing Machinery (ACM) ,1995
- Applicative functors and fully transparent higher-order modulesPublished by Association for Computing Machinery (ACM) ,1995
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- Metalevel building blocks for modular systemsACM Transactions on Programming Languages and Systems, 1994
- A type-theoretic approach to higher-order modules with sharingPublished by Association for Computing Machinery (ACM) ,1994
- Quasi-static scopingPublished by Association for Computing Machinery (ACM) ,1993
- A module system for schemePublished by Association for Computing Machinery (ACM) ,1990
- Modules for standard MLPublished by Association for Computing Machinery (ACM) ,1984