2 Електронні книги від David Thrane Christiansen
David Thrane Christiansen & Daniel P. Friedman: Little Typer
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 …
PDF
Англійська
DRM
€141.55
