Once Upon a Polymorphic Type (1999)

by Keith Wansbrough, Simon Peyton Jones
Venue:In POPL ’99: Proceedings of the 26th annual ACM SIGPLANSIGACT symposium on Principles of programming languages