A syntactic theory of type generativity and sharing
- 1 September 1996
- journal article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 6 (5) , 667-698
- https://doi.org/10.1017/s0956796800001933
Abstract
This paper presents a purely syntactic account of type generativity and sharing – two key mechanisms in the SML module system – and shows its equivalence with the traditional stamp-based description of these mechanisms. This syntactic description recasts the SML module system in a more abstract, type-theoretic framework.Keywords
This publication has 14 references indexed in Scilit:
- A type discipline for program modulesPublished by Springer Nature ,2005
- Applicative functors and fully transparent higher-order modulesPublished by Association for Computing Machinery (ACM) ,1995
- A type-theoretic approach to higher-order modules with sharingPublished by Association for Computing Machinery (ACM) ,1994
- A semantics for higher-order functorsPublished by Springer Nature ,1994
- On the type structure of standard MLACM Transactions on Programming Languages and Systems, 1993
- Extending record typing to type parametric modules with sharingPublished by Association for Computing Machinery (ACM) ,1993
- Higher-order modules and the phase distinctionPublished by Association for Computing Machinery (ACM) ,1990
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985