VDict - Definition of evaluation function

search result for evaluation function in Computing (FOLDOC) dictionary

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

eager evaluation lazy evaluation strict evaluation strict applicative order reduction partial evaluation termination analysis call-by-need functional programming call-by-value conservative evaluation speculative evaluation specialisation referential transparency graph reduction lenient evaluation eta conversion higher-order function call-by-name function tupling head-strict hash function quine binding-time analysis lazy list CORAL partial function injection linear function strength reduction bracket abstraction total function one-way hash function higher-order macro database administrator ISWIM least fixed point inline Gofer argument trap-door function Initial Operational Test and Evaluation cproto typed lambda-calculus metric space space leak one-way function Church integer interpolation abstraction NOR McCulloch-Pitts neuron polymorphic lambda-calculus recursion GNU superoptimiser projection evaluator codomain reduction linear argument Mu Cantor ZAPP register dancing descent function constructor functor fixed point tn3270 function key homogeneous full laziness continuous function combinator pattern matching curried function currying tail recursion ALLOY

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