Generic programming with fixed points for mutually recursive datatypes (2009)

by A Rodriguez Yakushev, S Holdermans, A Löh, J Jeuring
Venue:In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP