David Thrane Christiansen – författare
Visar alla böcker från författaren David Thrane Christiansen. Handla med fri frakt och snabb leverans.
1 produkter
Little Typer
Av Daniel P. Friedman, David Thrane Christiansen
Häftad, 2018
377 kr
Tillfälligt slut
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 a language, and are much more powerful than other kinds of types; using just one language for types and programs …
