Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 3 hakutulosta
The Little Typer
pokkari,
2018,
englanti,
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 …
Lives of the Laureates
sidottu,
2014,
englanti,
ISBN 9780262027960
Autobiographical accounts by Nobel laureates reflect the richness and diversity of contemporary economic thought and offer insights into the creative process.Lives of the Laureates …
Lives of the Laureates
sidottu,
2020,
englanti,
ISBN 9780262043779
Autobiographical accounts by Nobel laureates reflect the richness and diversity of contemporary economic thought and offer insights into the creative process; with six new …