2006-01-21 TAPL : Types and Programming Languages (The MIT Press) プログラミング id:sumiiさんのレジュメで紹介されていた本。 AmazonのBook Descriptionを読んだ感じ、面白そうだったので、次に読む本にしようと思います。 ああ、KnuthのThe Art of Computer Programmingも欲しいのに。