Correct and optimal implementations of recursion in a simple programming language
- 31 December 1974
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 9 (3) , 332-354
- https://doi.org/10.1016/s0022-0000(74)80048-6
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Simple lambda-calculus model of programming languagesPublished by Office of Scientific and Technical Information (OSTI) ,1973
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Recursive definitions of partial functions and their computationsPublished by Association for Computing Machinery (ACM) ,1972