# The Little Typer

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

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

- 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)
- Language: en_US
- Published: 2018-09-18

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

## Editions

### The Little Typer

- Publisher: the_mit_press
- ISBN: 978-02-6253-643-1
- Pages: 424
- Published: 2018-09-18
- Language: en_US