''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 phys ...

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 progra ...

s published in 2002. A review by

Frank Pfenning Frank Pfenning is a German-American professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University. Education and career Pfenning grew up in Rüssels ...

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