From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine [source]
Wouter Swierstra. Submitted to MSFP '12.
Embedding Polymorphic Dynamic Typing [bib]
Thomas van Noort, Wouter Swierstra, Peter Achten, and Rinus Plasmeijer. Submitted to the Workshop on Generic Programming.
Sorted: Verifying the Problem of the Dutch National Flag in Type Theory [bib] [source] [JFP]
Wouter Swierstra. Submitted to the Journal of Functional Programming.
More Dependent Types for Distributed Arrays [bib]
Wouter Swierstra. Accepted for publication in the journal Higher-order and Symbolic Computation.
Chalk: a language and tool for architecture design and analysis [bib]
Wouter Swierstra, Koen Claessen, Carl Seger, Mary Sheeran, and Emily Shriver. DCC 2010.
Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell [bib] [source] [ACM]
Marcos Viera, S. Doaitse Swierstra, and Wouter Swierstra. ICFP 2009.
A Hoare Logic for the State Monad [bib] [source]
Wouter Swierstra. 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. HFL 2009.
A Functional Specification of Effects [bib]
Wouter Swierstra. Thesis submitted to the University of Nottingham for the degree of Doctor of Philosophy.
A tutorial implementation of a dependently-typed lambda calculus [bib] [source]
Andres Loeh, Conor McBride, and Wouter Swierstra. Accepted for publication in Fundamenta Informaticae.
Dependent Types for Distributed Arrays [bib] [source]
Wouter Swierstra and Thorsten Altenkirch. Postproceedings of TFP 2008..
The Power of Pi [bib] [ACM]
Nicolas Oury and Wouter Swierstra. ICFP 2008.
Data types à la carte [bib] [source]
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] [source] [ACM]
Wouter Swierstra and Thorsten Altenkirch. Haskell Workshop 2007.
Observational Equality, Now! [bib] [ACM]
Thorsten Altenkirch, Conor McBride, and Wouter Swierstra. PLPV 2007.
A Principled Approach to Version Control [bib]
Andres Loeh, 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.

Content

Contact

FNWI
Radboud Universiteit
Heijendaalseweg 135
6525 AJ Nijmegen
The Netherlands
w.swierstra {at} cs.ru.nl