Type classes in Haskell. ACM transactions on programming languages and systems (1996)

by Cordelia V Hall, Kevin Hammond, Peyton Jones, L Simon, Philip L Wadler