Types and Programming Languages
Template:Short description Script error: No such module "Italic title".
Script error: No such module "Infobox".Script error: No such module "Check for unknown parameters".Template:Wikidata image
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
<templatestyles src="Reflist/styles.css" />
Script error: No such module "Check for unknown parameters".
External links
- Script error: No such module "Official website".Script error: No such module "Check for unknown parameters".