Recursion Equations as a Programming Language
Author:
- 1 January 1982
- book chapter
- Published by Springer Nature
- p. 459-478
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Recursion Equations as a Programming Language1982
- SKIM - The S, K, I reduction machine1980
- Exploitng Program Concurrency in Computing SystemsComputer, 1979
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- A lazy evaluator1976
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A new method for determining linear precedence functions for precedence grammarsCommunications of the ACM, 1969
- Assigning meanings to programs1967
- LISP 1.5 PROGRAMMER'S MANUAL1962