''Types and Programming Languages'', , is a
book
A book is a medium for recording information in the form of writing or images, typically composed of many pages (made of papyrus, parchment, vellum, or paper) bound together and protected by a cover. The technical term for this physi ...
by
Benjamin C. Pierce on
type system
In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer progr ...
s published in 2002.
A review by
Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."
References
External links
*
Computer science books
{{compu-book-stub