On the expressive power of programming languages
- 31 December 1991
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 17 (1-3) , 35-75
- https://doi.org/10.1016/0167-6423(91)90036-w
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- A syntactic theory of sequential stateTheoretical Computer Science, 1989
- Revised 3 report on the algorithmic language schemeACM SIGPLAN Notices, 1986
- MULTILISP: a language for concurrent symbolic computationACM Transactions on Programming Languages and Systems, 1985
- The Expressiveness of Simple and Second-Order Type StructuresJournal of the ACM, 1983
- LCF considered as a programming languageTheoretical Computer Science, 1977
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference conceptCommunications of the ACM, 1970
- The next 700 programming languagesCommunications of the ACM, 1966
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940