Generic programming with fixed points for mutually recursive datatypes.

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Lh, Johan Jeuring

Browse the full ICFP paper archive.