大堀先生のMLの入門書の最後のほうに書いてある課題をやっているんですけど、
課題3の型を推論する機構を実装する方法がさっぱりわからん。

参考書にあがっている「プログラミング言語の基礎理論」買いましたけど、
難しすぎてぜんぜん参考にならないんですけど・・・
もうちょっとわかりやすく説明している本ってないですか？