Deriving Structural Hylomorphisms From Recursive Definitions (1996)

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Venue:In ACM SIGPLAN International Conference on Functional Programming
Citations:46 - 17 self