Lazy evaluation (original) (raw)
Lazy evaluation is an implementation of normal-order reduction which avoids repeated calculation of subexpressions
Lazy evaluation is an implementation of normal-order reduction which avoids repeated calculation of subexpressions