Units
- 1 May 1998
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98
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