Types and Programming Languages

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type systems published in 2002.

A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."[1]

References[edit]

  1. ^ Pfenning, Frank (June 2004). "review of Types and Programming Languages by Benjamin C. Pierce". The Bulletin of Symbolic Logic. Association for Symbolic Logic. 10 (2): 213–214. JSTOR 3176763. doi:10.1017/s1079898600003954. 

External links[edit]