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

by Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
Venue:In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming