The Little Typerthe_mit_press978-02-6253-643-197802625364312018-09-18English (United States)424SoftcoverBook profileEnglish (United States)
Book · 1 edition
The Little Typer
- 2018
- first published
- English
- language
- 1
- edition in English
- 424
- pages
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
1 edition · sort: newestThe Little Typerthe_mit_press978-02-6253-643-197802625364312018-09-18English (United States)424Softcover