Types And Programming Languages
| Use attributes for filter ! | |
| Originally published | January 4, 2002 |
|---|---|
| Authors | Benjamin C. Pierce |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2055563 |
About Types And Programming Languages
Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type systems published in 2002. A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years. "