Deriving Structural Hylomorphisms From Recursive Definitions (1996)

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