2006-05-27 TAPL : Types and Programming Languages (The MIT Press) プログラミング [id:lethevert:20060121:p5]で目をつけていた本。 もあと残り50ページを切ったので、そろそろ次の本を買おうかなと。 - で、買った。