Wouter Swierstra

I am a PhD student at the University of Nottingham's Foundations of Programming Group under the supervision of Thorsten Altenkirch. I am funded by the EPSRC grant on the Theory and Applications of Containers. Before coming to Nottingham, I did my MSc at the University of Utrecht's Center for Software Technology.

Latest news: I've uploaded new slides of two recent talks. And in case you hadn't noticed, Issue 11 of the Monad.Reader is out.

Drafts and Publications

The Power of Pi [bib]

Nicolas Oury and Wouter Swierstra. ICFP 2008.

A tutorial implementation of a dependently-typed lambda calculus [bib] [sources]

Andres Löh, Conor McBride, and Wouter Swierstra. Under revision.

Dependent Types for Distributed Arrays [bib][sources]

Wouter Swierstra and Thorsten Altenkirch. Accepted for presentation at TFP 2008.

Data types à la carte [bib][sources]

Wouter Swierstra. Journal of Functional Programming (2008), 18: 423–436. Cambridge University Press.

Beauty in the Beast: A Functional Semantics for the Awkward Squad [bib]

Wouter Swierstra and Thorsten Altenkirch. Haskell Workshop 2007.

Observational Equality, Now! [bib]

Thorsten Altenkirch, Conor McBride, and Wouter Swierstra. PLPV 2007.

A Principled Approach to Version Control [bib]

Andres Löh, Wouter Swierstra, and Daan Leijen. Under revision.

Dependable software deployment [bib]

John DeTreville, Daan Leijen, and Wouter Swierstra. Unpublished.

Why Attribute Grammars Matter [bib]

Wouter Swierstra. The Monad.Reader Issue 4.

Thesisometer