1 / 1
- 2018
- year of publication
- 424
- pages
- English (United States)
- language
- Softcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6253-643-1
- EAN
- 9780262536431
- Publication date
- 2018-09-18
- Book
- The Little Typer · 1 edition
The publisher on this edition
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...