Towards a theory of type structure
- 1 January 1974
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Mode modules as representations of domainsPublished by Association for Computing Machinery (ACM) ,1973
- Types are not setsPublished by Association for Computing Machinery (ACM) ,1973
- Protection in programming languagesCommunications of the ACM, 1973
- Correctness of Translations of Programming Languages -- An Algebraic ApproachPublished by Defense Technical Information Center (DTIC) ,1972