dagit.o
Home
About
Contact
Posts
types
Learning Dependent Types
- December 3, 2013
Composability, laziness, testing, and proofs (oh my!)
- September 19, 2010
Phantom Types, Existentials and Controlling Unification -- Part 1
- November 10, 2008