closure conversion

closure conversion

(theory)The transformation of continuation passing stylecode so that the only free variables of functions arenames of other functions.

See also Lambda lifting.