Types and Programming Languages

Last updated

Types and Programming Languages
AuthorBenjamin C. Pierce
LanguageEnglish
SubjectType Systems
GenreComputing
PublisherMIT Press
Publication date
February 1, 2002
ISBN 978-0262162098

Types and Programming Languages, written by Benjamin C. Pierce who is a Professor of Computer and Information Science at the University of Pennsylvania [1] is a computing book on type systems and programming languages. [2] Types and Programming Languages was published in 2002 by MIT 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-level textbook in computer science programs around the world and has shaped the way type systems are taught in academic curricula [2] . [1]

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

References

  1. 1 2 3 "Benjamin Pierce". www.cis.upenn.edu. Retrieved 2025-04-19.
  2. 1 2 "Types and Programming Languages". MIT Press. Retrieved 2025-04-19.
  3. "Types and Programming Languages". www.cis.upenn.edu. Retrieved 2025-04-19.
  4. 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. JSTOR   3176763.