3 Електронні книги від Conor McBride
Sam Lindley & Conor McBride: List of Successes That Can Change the World
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who …
PDF
Англійська
DRM
€57.77
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
€140.44
