Beauty in the beast. - Wouter Swierstra; Thorsten Altenkirch (Haskell, 2007)

Observational equality, now! - Thorsten Altenkirch; Conor McBride; Wouter Swierstra (PLPV, 2007)

The power of Pi. - Nicolas Oury; Wouter Swierstra (ICFP, 2008)

Dependent Types for Distributed Arrays. - Wouter Swierstra; Thorsten Altenkirch (Trends in Functional Programming, 2008)

Data types à la carte. - Wouter Swierstra (J. Funct. Program., 2008)

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

A Hoare Logic for the State Monad. - Wouter Swierstra (TPHOLs, 2009)

A functional specification of effects. - Wouter Swierstra (2009)

A Tutorial Implementation of a Dependently Typed Lambda Calculus. - Andres Löh; Conor McBride; Wouter Swierstra (Fundam. Informaticae, 2010)

More dependent types for distributed arrays. - Wouter Swierstra (High. Order Symb. Comput., 2010)

Embedding polymorphic dynamic typing. - Thomas van Noort; Wouter Swierstra; Peter Achten; Rinus Plasmeijer (WGP@ICFP, 2011)

Sorted - Verifying the Problem of the Dutch National Flag in Agda. - Wouter Swierstra (J. Funct. Program., 2011)

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

Engineering Proof by Reflection in Agda. - Paul van der Walt; Wouter Swierstra (IFL, 2012)

Pure and Lazy Lambda Mining - An Experience Report. - Nicolas Wu; José Pedro Magalhães; Jeroen Bransen; Wouter Swierstra (IFL, 2012)

From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine - Wouter Swierstra (MSFP, 2012)

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

A library for polymorphic dynamic typing. - Wouter Swierstra; Thomas van Noort (J. Funct. Program., 2013)

The Semantics of Version Control. - Wouter Swierstra; Andres Löh (Onward!, 2014)

Datatype generic programming in F#. - Ernesto Rodríguez; Wouter Swierstra (WGP@ICFP, 2015)

Auto in Agda - Programming Proof Search Using Reflection. - Pepijn Kokke; Wouter Swierstra (MPC, 2015)

Pi-Ware: Hardware Description and Verification in Agda. - João Paulo Pizani Flor; Wouter Swierstra; Yorick Sijsling (TYPES, 2015)

From Proposition to Program - Embedding the Refinement Calculus in Coq. - Wouter Swierstra; João Alpuim (FLOPS, 2016)

Generic packet descriptions: verified parsing and pretty printing of low-level data. - Marcell van Geest; Wouter Swierstra (TyDe@ICFP, 2017)

Type-directed diffing of structured data. - Victor Cacciari Miraldo; Pierre-Évariste Dagand; Wouter Swierstra (TyDe@ICFP, 2017)

In Search of the Consensus Among Musical Pattern Discovery Algorithms. - Iris Yuping Ren; Hendrik Vincent Koops; Anja Volk; Wouter Swierstra (ISMIR, 2017)

Special issue on Programming with Dependent Types Editorial. - Wouter Swierstra; Peter Dybjer (J. Funct. Program., 2017)

From algebra to abstract machine: a verified generic construction. - Carlos Tomé Cortiñas; Wouter Swierstra (TyDe@ICFP, 2018)

Analysis by Classification: A Comparative Study of Annotated and Algorithmically Extracted Patterns in Symbolic Music Data. - Iris Yuping Ren; Anja Volk; Wouter Swierstra; Remco C. Veltkamp (ISMIR, 2018)

Verified Timing Transformations in Synchronous Circuits with lambda pi -Ware. - João Paulo Pizani Flor; Wouter Swierstra (ITP, 2018)

Embedding the refinement calculus in Coq. - João Alpuim; Wouter Swierstra (Sci. Comput. Program., 2018)

What constitutes a musical pattern? - Orestis Melkonian; Iris Yuping Ren; Wouter Swierstra; Anja Volk (FARM@ICFP, 2019)

A framework for improving error messages in dependently-typed languages. - Joseph Eremondi; Wouter Swierstra; Jurriaan Hage (Open Comput. Sci., 2019)

An efficient algorithm for type-safe structural diffing. - Victor Cacciari Miraldo; Wouter Swierstra (Proc. ACM Program. Lang., 2019)

A predicate transformer semantics for effects (functional pearl). - Wouter Swierstra; Tim Baanen (Proc. ACM Program. Lang., 2019)

Combining predicate transformer semantics for effects: a case study in parsing regular languages. - Anne Baanen; Wouter Swierstra (MSFP@ETAPS, 2020)

A Computational Evaluation of Musical Pattern Discovery Algorithms. - Iris Yuping Ren; Anja Volk; Wouter Swierstra; Remco C. Veltkamp (CoRR, 2020)

Heterogeneous binary random-access lists. - Wouter Swierstra (J. Funct. Program., 2020)

Algorithmics. - Richard S. Bird; Jeremy Gibbons; Ralf Hinze; Peter Höfner; Johan Jeuring; Lambert G. L. T. Meertens; Bernhard Möller; Carroll Morgan; Tom Schrijvers; Wouter Swierstra; Nicolas Wu (IFIP's Exciting First 60+ Years, 2021)

Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation. - João Paulo Pizani Flor; Wouter Swierstra (IFL, 2022)

Calculating Datastructures. - Ralf Hinze; Wouter Swierstra (MPC, 2022)

A well-known representation of monoids and its application to the function 'vector reverse'. - Wouter Swierstra (J. Funct. Program., 2022)

A completely unique account of enumeration. - Cas van der Rest; Wouter Swierstra (Proc. ACM Program. Lang., 2022)

A correct-by-construction conversion from lambda calculus to combinatory logic. - Wouter Swierstra (J. Funct. Program., 2023)

FP²: Fully in-Place Functional Programming. - Anton Lorenzen; Daan Leijen; Wouter Swierstra (Proc. ACM Program. Lang., 2023)

The Functional Essence of Imperative Binary Search Trees. - Anton Lorenzen; Daan Leijen; Wouter Swierstra; Sam Lindley (Proc. ACM Program. Lang., 2024)

Translation certification for smart contracts. - Jacco O. G. Krijnen; Manuel M. T. Chakravarty; Gabriele Keller; Wouter Swierstra (Sci. Comput. Program., 2024)

Program Logics for Ledgers. - Orestis Melkonian; Wouter Swierstra; James Chapman 001 (FMBC, 2025)