 | |
| Author | Benjamin C. Pierce |
|---|---|
| Language | English |
| Subject | Type Systems |
| Genre | Computing |
| Publisher | MIT Press |
Publication date | February 1, 2002 |
| ISBN | 978-0262162098 |
Types and Programming Languages, written byBenjamin C. Pierce who is aProfessor ofComputer and Information Science at theUniversity of Pennsylvania[1] is a computing book ontype systems andprogramming languages.[2]Types and Programming Languages was published in 2002 byMIT Press.[3]
Since its publication, the book has become one of the most widely cited and influential texts in the field of programming language theory.[1] It is frequently used as a graduate-leveltextbook in computer science programs around the world and has shaped the way type systems are taught inacademic curricula.[2][1]
A review byFrank Pfenning called it "probably the single most important book in the area of programming languages in recent years."[4]
