Németh, László (2000) Catamorphism-based program transformations for non-strict functional languages. PhD thesis, University of Glasgow.
allocated, to be examined, and to be deallocated.
measurement of our implementation on a suite of real application programs.