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
Citations:11 - 1 self