Types and Programming Languages

{{Short description|Computing book by Benjamin C. Pierce}}

{{italic title}}

{{Infobox book

| author = Benjamin C. Pierce

| isbn = 978-0262162098

| pub_date = February 1, 2002

| genre = Computing

| language = English

| subject = Type Systems

| publisher = MIT Press

}}

Types and Programming Languages, written by Benjamin C. Pierce who is a Professor of Computer and Information Science at the University of Pennsylvania{{Cite web |title=Benjamin Pierce |url=https://www.cis.upenn.edu/~bcpierce/ |access-date=2025-04-19 |website=www.cis.upenn.edu}} is a computing book on type systems and programming languages.{{Cite web |title=Types and Programming Languages |url=https://mitpress.mit.edu/9780262162098/types-and-programming-languages/ |access-date=2025-04-19 |website=MIT Press |language=en-US}} Types and Programming Languages was published in 2002 by MIT Press.{{Cite web |title=Types and Programming Languages |url=https://www.cis.upenn.edu/~bcpierce/tapl/index.html |access-date=2025-04-19 |website=www.cis.upenn.edu}}

Since its publication, the book has become one of the most widely cited and influential texts in the field of programming language theory. It is frequently used as a graduate-level textbook in computer science programs around the world and has shaped the way type systems are taught in academic curricula.

A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."{{cite journal

|author=Pfenning, Frank

|title=review of Types and Programming Languages by Benjamin C. Pierce

|journal=The Bulletin of Symbolic Logic

|volume=10

|issue=2

|date=June 2004

|pages=213–214

|jstor=3176763

|publisher=Association for Symbolic Logic

|doi=10.1017/s1079898600003954}}