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.
Try this search on Wikipedia, OneLook, Google
Nearby terms: Layer Two Tunneling Protocol « laziness « lazy evaluation « lazy list » Lazy SML » lazy sml2c » Lazy Standard ML