Types and Programming Languages
Encyclopedia
Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) is a book
by Benjamin C. Pierce
on type system
s.
A review by Frank Pfenning
called it "probably the single most important book in the area of programming languages in recent years."
Book
A book is a set or collection of written, printed, illustrated, or blank sheets, made of hot lava, paper, parchment, or other materials, usually fastened together to hinge at one side. A single sheet within a book is called a leaf or leaflet, and each side of a leaf is called a page...
by Benjamin C. Pierce
Benjamin C. Pierce
Benjamin Crawford Pierce is an American professor of computer science at the University of Pennsylvania. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of Edinburgh. He received his Ph.D. from Carnegie Mellon...
on type system
Type system
A type system associates a type with each computed value. By examining the flow of these values, a type system attempts to ensure or prove that no type errors can occur...
s.
A review by Frank Pfenning
Frank Pfenning
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He received his Ph.D. from the Carnegie Mellon University Department of Mathematics in 1987, for his dissertation entitled Proof Transformations in Higher-Order...
called it "probably the single most important book in the area of programming languages in recent years."