2006-05-28 TAPL : Types and Programming Languages (The MIT Press) プログラミング [id:lethevert:20060527:p1] もう届いたよ。すげ―なAmazon。