Some functional programs may use more space than would be expected. A modification to the garbage collector is suggested which solves this problem in some cases. Related work is discussed.
Key words: space leak, garbage collection, functional languages, lazy evaluation.
Philip Wadler,