What is a recursive module?
- 1 May 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (5) , 50-63
- https://doi.org/10.1145/301618.301641
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Typed cross-module compilationPublished by Association for Computing Machinery (ACM) ,1998
- UnitsPublished by Association for Computing Machinery (ACM) ,1998
- An algebra of mixin modulesPublished by Springer Nature ,1998
- The equivalence problem for deterministic pushdown automata is decidablePublished by Springer Nature ,1997
- TILPublished by Association for Computing Machinery (ACM) ,1996
- A type-theoretic approach to higher-order modules with sharingPublished by Association for Computing Machinery (ACM) ,1994
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- On the type structure of standard MLACM Transactions on Programming Languages and Systems, 1993
- Modules for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Type definitions with parametersPublished by Association for Computing Machinery (ACM) ,1978