VDict - Definition of First-class function

search result for First-class function in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

message digest function fix POP-2 SETL2 graph reduction memoised function memoized function nullary strict characteristic function Axiom of Choice call-with-current-continuation object-oriented design Internet address International Function Point Users Group truth table function complete effective computable key Advanced Function Printing back-propagation tail recursion modulo cons idempotent standard semantics FL class library memo function deterministic automaton adaptive answering specialisation AND Lace real number C++SIM formal argument function application abstract class free variable isomorphism class order-embedding inverse lambda abstraction map lazy evaluation call-by-need ANSI C delta reduction bound variable Bird-Meertens Formalism LL feature Keyed-Hashing Message Authentication unfold/fold DLUR/DLUS instance variable Ratatosk Advanced Function Presentation hash coding monad tail-strict eta conversion overloading Symmetric LISP NAND call-by-reference bottom-unique FP assignment problem droid image listless network address cycle of reincarnation Skel-ML termination analysis tupling lambda lifting Extended Self-containing Prolog Hyperstrict head-strict

First < Previous 1 2 3 4 5 6 7 Next > Last