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