E.: Type classes: An exploration of the design space. In: Haskell Workshop (1997)

by S P Jones, M Jones, Meijer