Polymorphic type inference and abstract data types
ACM Transactions on Programming Languages and Systems
Martin Odersky
Affordable dynamic types (poster)