Type classes are signatures of abstract types (1991)

by M Odersky, K Laufer
Venue:In Proc. Phoenix Seminar and Workshop on Declarative Programming