Filter
Søkt på: Søkeresultat
Filter
1 treff
Little Typer
e-bok,
2019,
Engelsk,
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 …
Fra
606,-