Some papers and presentations
- Peek and Poke with Dependent Types
- Programatica meeting talk, January 27, 2006.
- A Principled Approach to Operating System Construction in Haskell
- A paper presented at ICFP 2005.
- Command-line Parsing Combinators
- Half-baked talk, February 11, 2005.
- 2004 Haskell Workshop
- I was a member of the programme committee.
- Tuesday Seminar, 10 June, 2003.
- Highlights from the Workshop on Termination
and Type Theory,
- Tuesday Seminar, 10 December, 2002.
- The 2002 ICFP Programming Contest.
- A Formal Specification of the
Haskell 98 Module System,
- 2002 Haskell Workshop.
- A Lexer for Haskell in Haskell,
- presented at the Haskell Implementers Meeting, 14 January, 2002.