On abstraction and the expressive power of programming languages
- 1 October 1993
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 21 (2) , 141-163
- https://doi.org/10.1016/0167-6423(93)90004-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Separating concurrent languages with categories of language embeddingsPublished by Association for Computing Machinery (ACM) ,1991
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- The essence of MLPublished by Association for Computing Machinery (ACM) ,1988
- 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