First-class polymorphism with type inference (1997)

by M Jones
Venue:In Conference record of POPL ’97: the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages