System f-omega with equirecursive types for datatype-generic programming.

Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann

Browse the full POPL paper archive.