FPH: First-class polymorphism for Haskell (2008)

by D Vytiniotis, S Weirich, S Peyton Jones
Venue:In 13th ACM SIGPLAN International Conference on Functional Programming (ICFP