The Little Typer
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | September 18, 2018 |
| Authors | David Thrane Christiansen |
| Daniel P. Friedman | |
| Illustrators | Duane Bibby |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2910269 |
About The Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. . . .