VDict - Definition of lambda notation

search result for lambda notation in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

Pseudocode Data Flow Diagram Qu-Prolog call-by-need Prolog/Mali Charles Simonyi major delivery POP-1 Joy Sequel bound variable ISWIM maximal free expression B-Method eta conversion Contextually Communicating Sequential Processes principal type full laziness Communicating Sequential Processes Computational Adequacy Theorem combinator methodology combinatory logic TABLOG Mu reduction fix GEORGE abstraction lambda lifting unary Extended Backus-Naur Form expression S-Lang 6.001 Xy-pic SETL Stack Environment Control Dump machine splat Descriptive Intermediate Attributed Notation for Ada complex number Unix manual page abstract machine Program Composition Notation Ponder A Programming Language argument Open Systems Interconnect talk Russell's Paradox type inference SORCERER data model curried function functional programming Miranda domain theory Tree Transformation Language AOS Lisp Abstract Syntax Notation 1 temporal logic tuple Pronunciation monad canonical prefix regular expression IBM 1620 FORTH

First < Previous 1 2 Next > Last