Numbering Matters: First-Order Canonical Forms for Second-Order Recursive Types (2004)

by Nadji Gauthier, Francois Pottier
Venue:In Proceedings of the 2004 ACM SIGPLAN International Conference on Functional Programming (ICFP’04