The Little Typer
Rating: 0 / 5 | Prijs: € 37.28
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 much more powerful than other kinds of types using just one language for types and programs allows
Uiterlijk 3 december in huis .. MEER INFO