The transformation of continuation passing style code so that the only free variables of functions are names of other functions.
See also Lambda lifting.
(16 Dec 1994)