Polymorphic type inference and abstract data types (1994)

by K Läufer, M Odersky
Venue:ACM TOPLAS