Abstract types have existential type
- 1 July 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 10 (3), 470-502
- https://doi.org/10.1145/44501.45065
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- The semantics of second-order lambda calculusInformation and Computation, 1990
- Polymorphic type inference and containmentInformation and Computation, 1988
- The calculus of constructionsInformation and Computation, 1988
- The Expressiveness of Simple and Second-Order Type StructuresJournal of the ACM, 1983
- On the Semantics of “Data Type”SIAM Journal on Computing, 1979
- Intuitionistic propositional logic is polynomial-space completeTheoretical Computer Science, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- The next 700 programming languagesCommunications of the ACM, 1966
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965