Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time (1984)

by P Wadler