Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
The Definition of Standard ML
pocket,
1997,
Engelska,
ISBN 9780262631815
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the …
The Little Typer
pocket,
2018,
Engelska,
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 …