伊藤です。

haskellの型理論に関する資料・論文を探しています。
どなたか資料・論文等を御存じの方は御教授
お願いします。

今, 見付けたのはこれだけです。
http://www.tcs.informatik.uni-muenchen.de/~abel/haskell05.pdf

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