A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."[1]
References
^Pfenning, Frank (June 2004). "review of Types and Programming Languages by Benjamin C. Pierce". The Bulletin of Symbolic Logic. 10 (2). Association for Symbolic Logic: 213–214. doi:10.1017/s1079898600003954. JSTOR3176763.