Deriving structural hylomorphisms from recursive definitions (1996)

by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Venue:In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP’96