Back to Media

Thinking with Types

Sandy Maguire
book completed programming
External Link https://thinkingwithtypes.com/
haskell type-level-programming advanced
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