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.

More publications...