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