Types and Programming Languages (The MIT Press)

やっと１０章まで読み終わりました。
１０章までは、各章のページ数が少なくて、ちょっと読んだら次の話題、という感じなのですが、１１章からは章の長さが長くなって、例もプログラミング言語らしいものになってくるようです。