Types and Programming Languages - Pierce (MIT Press, 2002)
Monograph
fulltext
Keywords: Computing and Processing