VDict - Definition of lambda expression

search result for lambda expression in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

lambda abstraction Weak Head Normal Form lambda expression Head Normal Form beta abstraction maximal free expression beta reduction fully lazy lambda lifting quine name capture principal type lambda-calculus pure lambda-calculus Church integer Stack Environment Control Dump machine De Bruijn notation polymorphic lambda-calculus alpha conversion reduction Lambda Prolog typed lambda-calculus functional programming LAMBDA Church-Rosser Theorem Second-Order Lambda-calculus LambdaMOO black hole System F ISWIM eta conversion suspension type inference lambda lifting guard Lolli redex grep constant applicative form graph reduction free variable unwind-protect lvalue expression tree delta reduction Kleene star space-cadet keyboard Codd's reduction algorithm normal order reduction control structure lazy evaluation M-expression LISP partial evaluation switch statement linear argument closure MLISP satisfiability problem implicit type conversion thunk Miranda explicit type conversion Fun SweetLambda sound applicative order reduction esim SLIPS FALSE Burge's Language closure conversion Kid dereference beta conversion referential transparency CUCH Alonzo Church precedence lossage Knights of the Lambda-Calculus Vlisp SLIM

First < Previous 1 2 3 Next > Last