Deriving structural hylomorphisms from recursive definitions (1996)

by Z Hu, H Iwasaki, M Takeichi
Venue:in: $ACM$ SIGPLAN International Conference on fhnctional Prvygramming