Catamorphism-Based Transformation of Functional Programs (1994)

by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi