TAPL読了しました

Types and Programming Languages (The MIT Press)

次の本が到着するまであと１週間ほどあるので、以前にプリントアウトした論文がいくつかたまっているので、それに目を通していようかと思います。
あと、あまり手を動かしていなかったので、サンプルをダウンロードして、少し手を動かしてみます。