Types and Programming Languages
β Benjamin C. Pierce
π Library
π
2002
π The MIT Press
π English
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 compute. The study of type systemsβand of programm