Needed reduction and spine strategies for the lambda calculus
- 1 December 1987
- journal article
- Published by Elsevier in Information and Computation
- Vol. 75 (3) , 191-231
- https://doi.org/10.1016/0890-5401(87)90001-0
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979
- The next 700 programming languagesCommunications of the ACM, 1966
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964