# The Little Typer

Canonical: https://www.bookquiver.com/daniel-p-friedman/the-little-typer/9780262536431

![The Little Typer](https://quivercdn.com/covers/the-mit-press/daniel-p-friedman/the-little-typer_978-02-6253-643-1.jpg?v=2026-06-09%2017%3A15%3A19)

- Book: [The Little Typer](https://www.bookquiver.com/daniel-p-friedman/the-little-typer) ([The Little Typer.md](https://www.bookquiver.com/daniel-p-friedman/the-little-typer.md))
- Authors: [Daniel P. Friedman](https://www.bookquiver.com/daniel-p-friedman), [David Thrane Christiansen](https://www.bookquiver.com/david-thrane-christiansen), [Duane Bibby](https://www.bookquiver.com/duane-bibby)
- Publisher: the_mit_press
- ISBN: 978-02-6253-643-1
- Pages: 424
- Published: 2018-09-18
- Language: en_US
- Binding: Softcover

## Description

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much...