I am a student who enjoys type theory, formal verification, and compilers. I blog about [dys]functional things a lot.
20 Deciding on Sub-Problems for Dynamic Programming mar 22 '12
8 Studying Programming Language Theory dec 11 '12
7 Simply Typed Combinatory Logic? dec 24 '13
6 How is IO a monad? oct 7
6 How To Best Learn About Algorithms In Depth mar 27 '12
2 Are references of any use without updating? jan 28 '14
1 How to understand equivalence of indexes of a family of types that are not definitionally equal may 4