VDict - Definition of lambda lifting

search result for lambda lifting in Computing (FOLDOC) dictionary

fully lazy lambda lifting lambda abstraction lambda expression lambda-calculus closure conversion Weak Head Normal Form free variable pure lambda-calculus beta reduction De Bruijn notation polymorphic lambda-calculus alpha conversion Lambda Prolog typed lambda-calculus Head Normal Form quine full laziness LAMBDA Second-Order Lambda-calculus LambdaMOO lambda lifting System F beta abstraction Church integer Lolli name capture constant applicative form delta reduction space-cadet keyboard Fun SweetLambda esim SLIPS FALSE Burge's Language Kid constructed type beta conversion CUCH Alonzo Church Knights of the Lambda-Calculus Vlisp SLIM lenient evaluation Lambada-Calculus head normalisation theorem TALE SOL PRL PPLambda Qu-Prolog call-by-need Prolog/Mali Joy bound variable ISWIM maximal free expression eta conversion principal type Computational Adequacy Theorem combinator reduction fix abstraction 6.001 Stack Environment Control Dump machine Ponder talk Russell's Paradox curried function functional programming Miranda domain theory Gofer Lisp canonical