Arjun Srivastava's Library

Types and Programming Languages
Benjamin C. Pierce and Benjamin C. (professor Pierce, University Of Pennsylvania)
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they co...