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

by Zhenjiang Hu, Hideya Iwasaki
Venue:In Proc.of the International Conference on Functional Programming (ICFP'96