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

C++ Templates: The Complete Guide
David Vandevoorde, Nicolai M. Josuttis, Douglas Gregor · book
Clean Code
Robert C. Martin · book
Code Complete
Steve McConnell · book
Compilers: Principles, Techniques, and Tools (Dragon Book)
Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman · book