Types and Programming Languages

by Benjamin C. Pierce

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behavio…