Numbering matters: first-order canonical forms for second-order recursive types.

Nadji Gauthier, Franois Pottier

Browse the full ICFP paper archive.