On abstraction and the expressive power of programming languages
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 290-310
- https://doi.org/10.1007/3-540-54415-1_51
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- The essence of MLPublished by Association for Computing Machinery (ACM) ,1988
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- Representation independence and data abstractionPublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Logical relations and the typed λ-calculusInformation and Control, 1985
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Theory of Program Structures: Schemes, Semantics, VerificationPublished by Springer Nature ,1975