『プログラミング言語の基礎理論』が読みたい

OCamlの型について知りたいけど何を読めばいいですか、とid:yoshihiro503さんに訊いて、教えてもらった。目次を眺めるかぎりでは、型推論とか多相型とか知りたいことが書いてあるっぽい。
ただ残念なことに、Amazonで調べてみたら、中古で20,000円だった。これは、さすがに買えないわ。

とりあえず、大学の図書館には置いてあるっぽいので、それを借りる方向で。