Types and Programming Languages

Short description: Computing book by Benjamin C. Pierce

Types and Programming Languages

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 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.0 1.1 1.2 "Benjamin Pierce". https://www.cis.upenn.edu/~bcpierce/.
2. ↑ 2.0 2.1 "Types and Programming Languages" (in en-US). https://mitpress.mit.edu/9780262162098/types-and-programming-languages/.
3. ↑ "Types and Programming Languages". https://www.cis.upenn.edu/~bcpierce/tapl/index.html.
4. ↑ 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. doi:10.1017/s1079898600003954.

## External links

* No URL found. Please specify a URL here or add one to Wikidata.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Types and Programming Languages. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Types_and_Programming_Languages&oldid=3985742"