Deriving structural hylomorphisms from recursive definitions (1996)

by Z Hu, H Iwasaki, M Takeichi
Venue:in International Conference on Functional Programming. ACM