Deriving structural hylomorphisms from recursive definitions (1996)

by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Venue:In Proceedings 1st ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP'96