Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 18 de septiembre de 2018 |
| ISBN13 | 9780262536431 |
| Editores | MIT Press Ltd |
| Páginas | 424 |
| Dimensiones | 179 × 227 × 22 mm · 666 g |
| Illustrator | Bibby, Duane |