Lambda-hoisting is a technique for transforming functional programs into ones suitable for fully lazy evaluation. The proposed
method has a great advantage in generating efficient code for conventional computers. The basic idea of lambda-hoisting is
described with remarks on similar techniques, and a simple algorithm is presented in a formal way.
Keywords Functional programming - Fully lazy evaluation - Program transformation