Types and Programming Languages
Computing book by Benjamin C. Pierce
title: "Types and Programming Languages" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["computer-science-books"] description: "Computing book by Benjamin C. Pierce" topic_path: "technology/computing" source: "https://en.wikipedia.org/wiki/Types_and_Programming_Languages" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0
::summary Computing book by Benjamin C. Pierce ::
::data[format=table title="Infobox book"]
| Field | Value |
|---|---|
| author | Benjamin C. Pierce |
| isbn | 978-0262162098 |
| pub_date | February 1, 2002 |
| genre | Computing |
| language | English |
| subject | Type Systems |
| publisher | MIT Press |
| image | File:Types_and_Programming_Languages.jpg |
| :: |
| author = Benjamin C. Pierce | isbn = 978-0262162098 | pub_date = February 1, 2002 | genre = Computing | language = English | subject = Type Systems | publisher = MIT Press | image = File:Types_and_Programming_Languages.jpg
Types and Programming Languages, written by Benjamin C. Pierce who is a Professor of Computer and Information Science at the University of Pennsylvania is a computing book on type systems and programming languages. Types and Programming Languages was published in 2002 by MIT Press.
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}}
References
References
::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::