Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs

DOI10.1007/BF03037416zbMath0637.68015MaRDI QIDQ1098614

Masato Takeichi

Publication date: 1988

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

program transformationfunctional programsfully lazy evaluationLambda-hoisting

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Theory of computing (68Q99)

Related Items (1)

Preliminary arrangements of arguments in lazy evaluation

Uses Software

• Miranda

Cites Work

• Partial parametrization eliminates multiple traversals of data structures
• A new implementation technique for applicative languages
• The next 700 programming languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs