Numbering matters: First-order canonical forms for second-order recursive types (2004)

by Nadji Gauthier
Venue:In Proceedings of the 2004 ACM SIGPLAN International Conference on Functional Programming (ICFP’04
Citations:12 - 1 self