The transformation of continuation passing stylecode so that the only free variables of functions arenames of other functions.See also Lambda lifting.