On this page you can find some of the Haskell stuff I've written.

• Deconstraining DSLs (ICFP 2012), a paper with Tony Field and Tristan Allwood on generic constraints.
• Patsy, a library for declaring and using constructor/pattern synonyms.
• Warp Speed Haskell, my final year MEng project.