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 program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and.
The Little Typer (MIT Press) pdf download
The Little Typer (MIT Press) by Daniel P. Friedman ebook pdf epub mobi
The Little Typer (MIT Press) read online
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.