Polymorphic type inference and abstract data types (1994)

by Konstantin Laüfer, Martin Odersky
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS