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:14 - 2 self