First-class polymorphism with type inference (1997)

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