Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type systems.
A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."
[ - ]

Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type...
[ + ]

Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type systems.
A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."