Pi-Ware: Hardware Description and Verification in Agda [source]
Joao Paulo Pizani Flor, Wouter Swierstra, and Yorick Sijsling. Submitted to TYPES 2015 post-proceedings.
From proposition to program: embedding the refinement calculus in Coq
Wouter Swierstra and Joao Alpuim. Accepted for publication at FLOPS 2016.
Datatype generic programming in F# [bib]
Ernesto Rodriguez and Wouter Swierstra. Workshop on Generic Programming 2015.
The Utrecht Agda Compiler [bib]
Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra. Submitted to TFP 2015.
Functional Programming in Swift
Chris Eidhof, Florian Kugler, and Wouter Swierstra. Objc.io.
Auto in Agda: programming proof search [bib] [source]
Pepijn Kokke and Wouter Swierstra. Accepted for publication at MPC 2015..
The Semantics of Version Control [bib] [source]
Wouter Swierstra and Andres Löh. Onward! 2014.
AMEN [bib]
Wouter Swierstra. Liber Americorum for Doaitse Swierstra.
Engineering Proof by Reflection in Agda [bib]
Paul van der Walt and Wouter Swierstra. IFL 2012.
Pure and Lazy Lambda Mining: An Experience Report [bib]
Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, and Wouter Swierstra. IFL 2012.
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht [bib]
Jurriën Stutterheim, Wouter Swierstra, and S. Doaitse Swierstra. Trends in Functional Programming in Education.
Xmonad in Coq: Programming a window manager in a proof assistant [bib]
Wouter Swierstra. Haskell Symposium 2012.
A library for polymorphic dynamic typing [bib] [source]
Wouter Swierstra and Thomas van Noort. Journal of Functional Programming.
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine [bib] [source]
Wouter Swierstra. MSFP 2012.
Logisch en Functioneel Programmeren voor Wiskunde D [bib]
Wouter Swierstra, Doaitse Swierstra, and Jurriën Stuttenheim. UU-CS Technical Report.
Embedding Polymorphic Dynamic Typing [bib] [ACM]
Thomas van Noort, Wouter Swierstra, Peter Achten, and Rinus Plasmeijer. WGP 2011.
Sorted: Verifying the Problem of the Dutch National Flag in Type Theory [bib] [source] [JFP]
Wouter Swierstra. Journal of Functional Programming.
More Dependent Types for Distributed Arrays [bib]
Wouter Swierstra. Journal of 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 accepted 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. 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.



PO Box 80.089
3508 TB Utrecht
The Netherlands
w.s.swierstra {at} uu.nl