Computing (FOLDOC) dictionary
Jump to user comments
A list which is built using a non-strict constructor. Any
head or tail of the list may be an unevaluated closure. Also
known as streams since they may be used to carry a sequence of
values from the output of one function to an input of another.
See also Lazy evaluation.