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. FLOPS 2016.
Datatype generic programming in F#
Ernesto Rodriguez and Wouter Swierstra. Workshop on Generic Programming 2015.
The Utrecht Agda Compiler
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 [source]
Pepijn Kokke and Wouter Swierstra. Mathematics of Program Contstruction 2015.
The Semantics of Version Control [source]
Wouter Swierstra and Andres Löh. Onward! 2014.
AMEN
Wouter Swierstra. Liber Americorum for Doaitse Swierstra.
Engineering Proof by Reflection in Agda
Paul van der Walt and Wouter Swierstra. IFL 2012.
Pure and Lazy Lambda Mining: An Experience Report
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
Jurriën Stutterheim, Wouter Swierstra, and S. Doaitse Swierstra. Trends in Functional Programming in Education 2013.
Xmonad in Coq: Programming a window manager in a proof assistant
Wouter Swierstra. Haskell Symposium 2012.
A library for polymorphic dynamic typing [source]
Wouter Swierstra and Thomas van Noort. Journal of Functional Programming.
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine [source] [bib]
Wouter Swierstra. MSFP 2012.
Logisch en Functioneel Programmeren voor Wiskunde D
Wouter Swierstra, Doaitse Swierstra, and Jurriën Stuttenheim. UU-CS Technical Report.
Embedding Polymorphic Dynamic Typing
Thomas van Noort, Wouter Swierstra, Peter Achten, and Rinus Plasmeijer. Workshop on Generic Programming 2011.
Sorted: Verifying the Problem of the Dutch National Flag in Type Theory [source]
Wouter Swierstra. Journal of Functional Programming.
More Dependent Types for Distributed Arrays
Wouter Swierstra. Journal of Higher-order and Symbolic Computation.
Chalk: a language and tool for architecture design and analysis
Wouter Swierstra, Koen Claessen, Carl Seger, Mary Sheeran, and Emily Shriver. Designing Correct Circuits 2010.
Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell [source]
Marcos Viera, S. Doaitse Swierstra, and Wouter Swierstra. ICFP 2009.
A Hoare Logic for the State Monad [source]
Wouter Swierstra. TPHOLS 2009.
High level architectural modelling for early estimation of power and performance
Koen Claessen, Carl Seger, Mary Sheeran, Emily Shriver, and Wouter Swierstra. Hardware and Functional Languages, 2009.
A Functional Specification of Effects
Wouter Swierstra. Thesis accepted for the degree of Doctor of Philosophy.
A tutorial implementation of a dependently-typed lambda calculus [source]
Andres Loeh, Conor McBride, and Wouter Swierstra. Fundamentae Informatica.
Dependent Types for Distributed Arrays [source]
Wouter Swierstra and Thorsten Altenkirch. Postproceedings of Trends in Functional Programming 2008.
The Power of Pi
Nicolas Oury and Wouter Swierstra. ICFP 2008.
Data types à la carte [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 [source]
Wouter Swierstra and Thorsten Altenkirch. Haskell Workshop 2007.
Observational Equality, Now!
Thorsten Altenkirch, Conor McBride, and Wouter Swierstra. PLPV 2007.
A Principled Approach to Version Control
Andres Loeh, Wouter Swierstra, and Daan Leijen. Under revision.
Dependable Software Deployment
John DeTreville, Daan Leijen, and Wouter Swierstra. Unpublished.
Why Attribute Grammars Matter
Wouter Swierstra. The Monad.Reader, Issue 4.