 | This article relies largely or entirely on a
single source. (March 2024) |
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." [1]
References
- ^ Pfenning, Frank (June 2004). "review of Types and Programming Languages by Benjamin C. Pierce". The Bulletin of Symbolic Logic. 10 (2). Association for Symbolic Logic: 213–214. doi: 10.1017/s1079898600003954. JSTOR 3176763.
External links
 | This article about a computer book or series of books is a stub. You can help Wikipedia by expanding it. |
| This article relies largely or entirely on a
single source. (March 2024) |
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." [1]
References
- ^ Pfenning, Frank (June 2004). "review of Types and Programming Languages by Benjamin C. Pierce". The Bulletin of Symbolic Logic. 10 (2). Association for Symbolic Logic: 213–214. doi: 10.1017/s1079898600003954. JSTOR 3176763.
External links
|
| This article about a computer book or series of books is a stub. You can help Wikipedia by expanding it. |