Wouter Swierstra

Wouter Swierstra: xmonad in Coq (experience report): programming a window manager in a proof assistant. Haskell 2012: 131-136

Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra: Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht. TFPIE 2012: 50-62

Wouter Swierstra: From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine. MSFP 2012: 163-177

Wouter Swierstra: Sorted - Verifying the Problem of the Dutch National Flag in Agda. J. Funct. Program. 21(6): 573-583 (2011)

Ranjit Jhala, Wouter Swierstra (Eds.): Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. ACM 2011, isbn 978-1-4503-0487-0

Andres Löh, Conor McBride, Wouter Swierstra: A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Inform. 102(2): 177-207 (2010)

Wouter Swierstra: More dependent types for distributed arrays. Higher-Order and Symbolic Computation 23(4): 489-506 (2010)

Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra: Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. ICFP 2009: 245-256

Wouter Swierstra: A Hoare Logic for the State Monad. TPHOLs 2009: 440-451

Wouter Swierstra: Data types à la carte. J. Funct. Program. 18(4): 423-436 (2008)

Nicolas Oury, Wouter Swierstra: The power of Pi. ICFP 2008: 39-50

Wouter Swierstra, Thorsten Altenkirch: Beauty in the beast. Haskell 2007: 25-36

Thorsten Altenkirch, Conor McBride, Wouter Swierstra: Observational equality, now! PLPV 2007: 57-68