Community hub
Recent from talks
Contribute something
Nothing was collected or created yet.
Types and Programming Languages
View on Wikipedia
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]
Key Information
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
[edit]- ^ a b c "Benjamin Pierce". www.cis.upenn.edu. Retrieved 2025-04-19.
- ^ a b "Types and Programming Languages". MIT Press. Retrieved 2025-04-19.
- ^ "Types and Programming Languages". www.cis.upenn.edu. Retrieved 2025-04-19.
- ^ 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.
