First-order reduction of call-by-name to call-by-value
- 1 January 1975
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Recursive definitions of partial functions and their computationsPublished by Association for Computing Machinery (ACM) ,1972
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970