Konstantin Läufer;Martin Odersky
-;-
Polymorphic type inference and abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)