http://www.is.titech.ac.jp/~kando9/work/Progress/TypeSystem/OverLoading.html
Hindeley/Milner型システムというものに関心があるのですが、
なにかよい文献はありますでしょうか？日本語じゃないかな。