8.4 /10 1 Votes8.4
Originally published January 2002 Original language English | 4.2/5 Goodreads | |||||||||||||||||||||||||||||||||
 | ||||||||||||||||||||||||||||||||||
Similar Advanced Topics in Types an, Concepts in Program, Basic category theory for, The Formal Semantics of Progra, Practical Foundations for Progra | ||||||||||||||||||||||||||||||||||
Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) 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."
References
Types and Programming Languages Wikipedia(Text) CC BY-SA