closure conversion theory 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)