closure conversion

The transformation of continuation passing style code so

that the only free variables of functions are names of other

functions.

See also Lambda lifting.

(1994-12-16)