Types and Programming Languages
In today's world, Types and Programming Languages is a topic that has gained unprecedented relevance. From its origins to the present, Types and Programming Languages has been the object of study, debate, controversy and admiration. In this article, we will explore different aspects related to Types and Programming Languages, from its impact on society to the latest research that seeks to unravel its mysteries. Throughout the pages that follow, we will dive into a detailed analysis of Types and Programming Languages, addressing its many facets and offering a complete and up-to-date view on this fascinating and important topic.
 | |
| 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
- ^ 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.
