Lambda lifting: Transforming programs to recursive equations
- 1 January 1985
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 190-203
- https://doi.org/10.1007/3-540-15975-4_37
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Compiling pattern matchingLecture Notes in Computer Science, 1985
- Using circular programs to eliminate multiple traversals of dataActa Informatica, 1984
- A compiler for lazy MLPublished by Association for Computing Machinery (ACM) ,1984
- Efficient compilation of lazy evaluationPublished by Association for Computing Machinery (ACM) ,1984
- Super-combinators a new implementation method for applicative languagesPublished by Association for Computing Machinery (ACM) ,1982
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- The next 700 programming languagesCommunications of the ACM, 1966