Little Typer
424
Pagini
2018
An
Paperback
Copertă
Editura
MIT Press Ltd
Copertă
Paperback
Pagini
424
An publicare
2018
ISBN
9780262536431
Categorii
Informatică & Programare
Descriere
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
