Types and Programming Languages
From Wikipedia, the free encyclopedia
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."[1]
External links [edit]
References [edit]
- ^ Pfenning, Frank (June 2004). "review of Types and Programming Languages by Benjamin C. Pierce". The Bulletin of Symbolic Logic (Association for Symbolic Logic) 10 (2): 213–214. JSTOR 3176763.
  |
This article about a computer book or series of books is a stub. You can help Wikipedia by expanding it. |
