I am a postdoctoral researcher at the Chalmers University of Technology. Before coming to Sweden, I did my PhD at the University of Nottingham.
Recent work
- Attribute Grammarrs Fly First-Class: How to do Aspect Oriented Programming in Haskell [bib]
- Marcos Viera, S. Doaitse Swierstra, and Wouter Swierstra. Accepted for publication at ICFP 2009.
- A Hoare Logic for the State Monad [bib] [sources]
-
Wouter Swierstra. Accepted for publication at TPHOLS 2009.
- High level architectural modelling for early estimation of power and performance [bib]
Koen Claessen, Carl Seger, Mary Sheeran, Emily Shriver and Wouter Swierstra. Abstract submitted to HFL 2009.
- A Functional Specification of Effects [bib]
-
Thesis submitted to the University of Nottingham for the degree of Doctor of Philosophy.
- A tutorial implementation of a dependently-typed lambda calculus [bib] [sources]
-
Andres Löh, Conor McBride, and Wouter Swierstra. Submitted to Fundamenta Informaticae.
- Dependent Types for Distributed Arrays [bib][sources]
-
Wouter Swierstra and Thorsten Altenkirch. Postproceedings of Trends in Functional Programming 2008.
- The Power of Pi [bib]
-
Nicolas Oury and Wouter Swierstra. ICFP 2008.

