# Types and Programming Languages

Canonical: https://www.bookquiver.com/benjamin-c-pierce/types-and-programming-languages/9780262162098

![Types and Programming Languages](https://quivercdn.com/covers/the-mit-press/benjamin-c-pierce/types-and-programming-languages_978-02-6216-209-8.jpg?v=2026-06-22%2004%3A17%3A54)

- Book: [Types and Programming Languages](https://www.bookquiver.com/benjamin-c-pierce/types-and-programming-languages) ([Types and Programming Languages.md](https://www.bookquiver.com/benjamin-c-pierce/types-and-programming-languages.md))
- Authors: [Benjamin C. Pierce](https://www.bookquiver.com/benjamin-c-pierce)
- Publisher: the_mit_press
- ISBN: 978-02-6216-209-8
- Pages: 648
- Published: 2002-01-04
- Language: en_US
- Binding: Hardcover

## Description

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...