Types and Programming Languages
From HandWiki - Reading time: 1 min
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 (Association for Symbolic Logic) 10 (2): 213–214. doi:10.1017/s1079898600003954.
External links
 |  |
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Types_and_Programming_Languages14 views | Status: cached on August 13 2024 09:12:37↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF