# Advanced Topics in Types and Programming Languages

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

![Advanced Topics in Types and Programming Languages](https://quivercdn.com/covers/the-mit-press/benjamin-c-pierce/advanced-topics-in-types-and-programming-languages_978-02-6255-267-7.jpg?v=2026-05-29%2017%3A36%3A54)

- Authors: [Benjamin C. Pierce](https://www.bookquiver.com/benjamin-c-pierce)
- Language: en_US
- Published: 2024-07-02

## Description

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now touches many areas of computer science,...

## Editions

### Advanced Topics in Types and Programming Languages

- Publisher: the_mit_press
- ISBN: 978-02-6255-267-7
- Pages: 588
- Published: 2024-07-02
- Language: en_US