Back to Media

The Little Typer

Daniel P. Friedman, David Thrane Christiansen
book completed programming
External Link https://mitpress.mit.edu/9780262536431/the-little- …
dependent-types type-theory proof-assistants
View Resource All Media More in Programming

More in Programming

A Philosophy of Software Design
John Ousterhout · book
API Design Patterns
JJ Geewax · book
Design Patterns
Gamma, Helm, Johnson, Vlissides · book
RESTful Web APIs
Richardson & Amundsen · book