Polymorphic Type Inference and Abstract Data Types (1994)

by Konstantin Läufer, Martin Odersky
Venue:ACM Transactions on Programming Languages and Systems