A type discipline for program modules
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 308-319
- https://doi.org/10.1007/bfb0014988
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982