Catamorphism Based Program Transformations for Non-Strict Functional Languages (2000)

by Laszlo Németh