Masato Takeichi. Deriving structural hylomorphisms from recursive definitions (1996)

by Zhenjiang Hu, Hideya Iwasaki
Venue:In International Conference on Functional Programming. ACM/SIGPLAN