Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Types for Proofs and Programs
E-bok,
2007,
Engelska,
ISBN 9783540744641
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning …
Little Typer
E-bok,
2019,
Engelska,
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 …
List of Successes That Can Change the World
E-bok,
2016,
Engelska,
ISBN 9783319309361
This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some …