Haskell and dependent pairs
This is a more of a personal memo about dependent typing (and Haskell) than anything else. I expect to write more about this subject as I move forward to other subjects in type theory.
haskell
2 posts
Towards template programming in Haskell
Template Haskell promises to be the next 'big thing' for parallel code generation. In this short blog post, I'll guide you through some very simple examples showing the power of Template Haskell.