Transparent modules with fully syntatic signatures
- 1 September 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (9) , 220-232
- https://doi.org/10.1145/317636.317801
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Typed cross-module compilationPublished by Association for Computing Machinery (ACM) ,1998
- UnitsPublished by Association for Computing Machinery (ACM) ,1998
- Flexible representation analysisPublished by Association for Computing Machinery (ACM) ,1997
- A syntactic theory of type generativity and sharingJournal of Functional Programming, 1996
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- On the type structure of standard MLACM Transactions on Programming Languages and Systems, 1993
- Persistence and Type AbstractionPublished by Springer Nature ,1988
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- Modules for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Towards a theory of type structureLecture Notes in Computer Science, 1974