Types and Programming Languages
From Wikipedia, the free encyclopedia
For TAPL: The AWK Programming Language, see AWK.
- 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. JSTOR 3176763.
|This article about a computer book or series of books is a stub. You can help Wikipedia by expanding it.|