Call-by-need
<reduction> A reduction strategy which delays evaluation of function arguments until they are needed because they are arguments to a primitive function or a conditional. Call-by-need is one part of lazy evaluation.
The term first appears in Chris Wadsworth's thesis "Semantics and Pragmatics of the Lambda calculus" (Oxford, 1971, p. 183). It was used later, by J. Vuillemin in his thesis (Stanford, 1973).
| < Previous Terms | Terms Containing call-by-need | Next Terms > |
| Caliban Calico California State University San Marcos callback call-by-name | argument call-by-name call-by-need eager evaluation | call-by-reference call-by-value call-by-value-result call/cc callee |
