call-by-need A which delays evaluation of function arguments until they are needed because they are arguments to a function or a conditional. Call-by-need is one part of . 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). (1995-05-27)
на заглавную 
к началу страницы