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

by Simon Peyton Jones, Mark Jones, Erik Meijer
Venue:In Haskell Workshop