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."
We don't have any images related to Types and Programming Languages yet.
You can add one yourself here.
We don't have any YouTube videos related to Types and Programming Languages yet.
You can add one yourself here.
We don't have any PDF documents related to Types and Programming Languages yet.
You can add one yourself here.
We don't have any Books related to Types and Programming Languages yet.
You can add one yourself here.
We don't have any archived web articles related to Types and Programming Languages yet.
External links
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. /wiki/Doi_(identifier) ↩