Types and Programming Languages
From Wikipedia, the free encyclopedia
- 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.|