LCF considered as a programming language
- 1 December 1977
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 5 (3), 223-255
- https://doi.org/10.1016/0304-3975(77)90044-5
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Correct and optimal implementations of recursion in a simple programming languagePublished by Association for Computing Machinery (ACM) ,1973