# Types and Programming Languages

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

![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)

- Authors: [Benjamin C. Pierce](https://www.bookquiver.com/benjamin-c-pierce)
- Language: en_US
- Published: 2002-01-04

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

## Editions

### Types and Programming Languages

- Publisher: the_mit_press
- ISBN: 978-02-6216-209-8
- Pages: 648
- Published: 2002-01-04
- Language: en_US