関数型言語マニアのための論文紹介（番外速報）：MLモジュールでType Classプログラミング

Modular Type Classes. Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty, and Gabriele Keller. Draft (April 6, 2006).

http://www.cs.cmu.edu/~rwh/papers/mtc/apr06.pdf

Haskellのtype classをMLのモジュールシステムで実現する(?)という話らしいです。まだ読んでいませんが。最初の二人はモジュールシステムのエキスパート、最後の二人はtype classのエキスパート。