Type Classes: An Exploration of the Design Space (1997)

by S Jones, M Jones, E Meijer
Venue:In Haskell ’97, the ACM SIGPLAN Haskell Workshop