Tell your friends about this item:
The Little Typer - The MIT Press Friedman, Daniel P. (Professor, Indiana University)
The Little Typer - The MIT Press
Friedman, Daniel P. (Professor, Indiana University)
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
424 pages, 23 b 46 Illustrations, unspecified
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 18, 2018 |
| ISBN13 | 9780262536431 |
| Publishers | MIT Press Ltd |
| Pages | 424 |
| Dimensions | 179 × 227 × 22 mm · 666 g |
| Illustrator | Bibby, Duane |