Once upon a polymorphic type (1999)

by Keith Wansbrough, Simon L Peyton Jones
Venue:POPL ’99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages