Filter
Sökt på: Böcker av David Thrane Christiansen
Filter
totalt 3 träffar
The Little Typer
pocket,
2018,
Engelska,
ISBN 9780262536431
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 …
Little Typer
E-bok,
2018,
Engelska,
ISBN 9780262351003
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 …
Little Typer
E-bok,
2019,
Engelska,
ISBN 9780262355469
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 …