<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.
Last updated: 1994-12-16
Try this search on Wikipedia, OneLook, Google
Nearby terms: closed term « Clos network « closure « closure conversion » cloud » cloud computing » Clover