Types and Programming Languages
Page Module:Infobox/styles.css has no content.Page Template:Infobox book/styles.css has no content.
| Lua error in package.lua at line 80: module 'Module:InfoboxImage/data' not found. | |
| Author | Benjamin C. Pierce |
|---|---|
| Language | English |
| Subject | Type Systems |
| Genre | Computing |
| Publisher | MIT Press |
Publication date | February 1, 2002 |
| ISBN | Script error: No such module "template wrapper". |
Script error: No such module "Check for conflicting parameters".
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
Page Template:Reflist/styles.css has no content.
- ^ a b c Page Module:Citation/CS1/styles.css has no content."Benjamin Pierce". www.cis.upenn.edu. Retrieved 2025-04-19.
- ^ a b Page Module:Citation/CS1/styles.css has no content."Types and Programming Languages". MIT Press. Retrieved 2025-04-19.
- ^ Page Module:Citation/CS1/styles.css has no content."Types and Programming Languages". www.cis.upenn.edu. Retrieved 2025-04-19.
- ^ Page Module:Citation/CS1/styles.css has no content.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.
External links
- No URL found. Please specify a URL here or add one to Wikidata.
Lua error in package.lua at line 80: module 'Module:Authority control/config' not found.
