先ほど見つけた、型クラスに関する論文のリスト (ごく一部) です。

  * "Derivable type classes", 
    Ralf Hinze and Simon Peyton Jones, Haskell Workshop 2000.
    http://research.microsoft.com/~simonpj/Papers/derive.htm
  * "Type classes: exploring the design space",
    Simon Peyton Jones, Mark Jones, Erik Meijer,
    Haskell Workshop, 1997.
    http://research.microsoft.com/Users/simonpj/papers/type-class-design-space/
  * "Type classes in Haskell", 
    Cordelia Hall, Kevin Hammond, Simon Peyton Jones and Philip Wadler,
    Extended version of the paper in ESOP '94, Jan 20, 1994.
    http://www.dcs.gla.ac.uk/fp/tech_reports.html
  * "How to make ad hoc polymorphism less ad hoc",
    Philip Wadler and Stephen Blott, 16'th symposium on principles of
    programming languages, Jan 1989. (written on Oct 1988)
    http://homepages.inf.ed.ac.uk/wadler/topics/type-classes.html

GHC が採用した拡張は
  http://www.haskell.org/ghc/documentation.html
から見られます。

--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/