The Little Typer

by Daniel P. Friedman and David Thrane Christiansen

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 more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very...

• Format: Paperback
• Language: English
• ISBN: 0262536439
• ISBN13: 9780262536431
• Release Date: September 2018
• Publisher: MIT Press
• Length: 424 Pages
• Weight: 1.50 lbs.
• Dimensions: 0.8" x 7.0" x 9.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher