Catalogue of Artificial Intelligence Techniques
Categories: Automatic Programming , Theorem Proving
Author(s): Kevin Mitchell
A parameter passing mechanism in which the evaluation of an argument is postponed until its value is actually required. Used as an alternative to call-by-value where arguments to a function are evaluated before the function is called. The technique is particularly useful for the construction and manipulation of infinite data structures. See also Delayed Evaluation.
- Peyton Jones, S.L., The Implementation of Functional Programming
, Prentice Hall, Englewood Cliffs, London, 1987.