''Types and Programming Languages'', written by Benjamin C. Pierce who is a

Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...

of Computer and Information Science at the

University of Pennsylvania The University of Pennsylvania (Penn or UPenn) is a Private university, private Ivy League research university in Philadelphia, Pennsylvania, United States. One of nine colonial colleges, it was chartered in 1755 through the efforts of f ...

is a computing book 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'' (for example, integer, floating point, string) to every '' term'' (a word, phrase, or other set of symbols). Usu ...

s and

programming language A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...

s. ''Types and Programming Languages'' was published in 2002 by

MIT Press The MIT Press is the university press of the Massachusetts Institute of Technology (MIT), a private research university in Cambridge, Massachusetts. The MIT Press publishes a number of academic journals and has been a pioneer in the Open Ac ...

. Since its publication, the book has become one of the most widely cited and influential texts in the field of programming language theory. It is frequently used as a graduate-level

textbook A textbook is a book containing a comprehensive compilation of content in a branch of study with the intention of explaining it. Textbooks are produced to meet the needs of educators, usually at educational institutions, but also of learners ( ...

in computer science programs around the world and has shaped the way type systems are taught in academic curricula. 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

* {{Authority control Computer science books