The Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Specificaties
| ISBN/EAN | 9780262536431 |
| Auteur | Friedman, Daniel P. (Professor, Indiana University) |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 424 |
| Lengte | 229.0 mm |
| Breedte | 178.0 mm |