Wouter Swierstra

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 26

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

TyDe@ICFP

CoRR

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
The Functional Essence of Imperative Binary Search Trees. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation certification for smart contracts. Sci. Comput. Program. 233 (2024)
Anton Lorenzen, Daan Leijen, Wouter Swierstra
FP²: Fully in-Place Functional Programming. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Wouter Swierstra
A correct-by-construction conversion from lambda calculus to combinatory logic. J. Funct. Program. 33 (2023)
Ralf Hinze, Wouter Swierstra
Calculating Datastructures. MPC (2022)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. FLOPS (2022)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. CoRR (2022)
João Paulo Pizani Flor, Wouter Swierstra
Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation. IFL (2022)
Cas van der Rest, Wouter Swierstra
A completely unique account of enumeration. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Wouter Swierstra
A well-known representation of monoids and its application to the function 'vector reverse'. J. Funct. Program. 32 (2022)
Anne Baanen, Wouter Swierstra
Combining predicate transformer semantics for effects: a case study in parsing regular languages. MSFP@ETAPS (2020)
Wouter Swierstra
Heterogeneous binary random-access lists. J. Funct. Program. 30 (2020)
Iris Yuping Ren, Anja Volk, Wouter Swierstra, Remco C. Veltkamp
A Computational Evaluation of Musical Pattern Discovery Algorithms. CoRR (2020)
Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk
What constitutes a musical pattern? FARM@ICFP (2019)
Victor Cacciari Miraldo, Wouter Swierstra
An efficient algorithm for type-safe structural diffing. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Joseph Eremondi, Wouter Swierstra, Jurriaan Hage
A framework for improving error messages in dependently-typed languages. Open Comput. Sci. 9 (1) (2019)
Wouter Swierstra, Tim Baanen
A predicate transformer semantics for effects (functional pearl). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Carlos Tomé Cortiñas, Wouter Swierstra
From algebra to abstract machine: a verified generic construction. TyDe@ICFP (2018)
João Alpuim, Wouter Swierstra
Embedding the refinement calculus in Coq. Sci. Comput. Program. 164 (2018)
João Paulo Pizani Flor, Wouter Swierstra
Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware. ITP (2018)
Iris Yuping Ren, Anja Volk, Wouter Swierstra, Remco C. Veltkamp
Analysis by Classification: A Comparative Study of Annotated and Algorithmically Extracted Patterns in Symbolic Music Data. ISMIR (2018)
Iris Yuping Ren, Hendrik Vincent Koops, Anja Volk, Wouter Swierstra
In Search of the Consensus Among Musical Pattern Discovery Algorithms. ISMIR (2017)
Marcell van Geest, Wouter Swierstra
Generic packet descriptions: verified parsing and pretty printing of low-level data. TyDe@ICFP (2017)
Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra
Type-directed diffing of structured data. TyDe@ICFP (2017)
Wouter Swierstra, Peter Dybjer
Special issue on Programming with Dependent Types Editorial. J. Funct. Program. 27 (2017)
Wouter Swierstra, João Alpuim
From Proposition to Program - Embedding the Refinement Calculus in Coq. FLOPS (2016)
Pepijn Kokke, Wouter Swierstra
Auto in Agda - Programming Proof Search Using Reflection. MPC (2015)
João Paulo Pizani Flor, Wouter Swierstra, Yorick Sijsling
Pi-Ware: Hardware Description and Verification in Agda. TYPES (2015)
Ernesto Rodríguez, Wouter Swierstra
Datatype generic programming in F#. WGP@ICFP (2015)
Wouter Swierstra, Andres Löh
The Semantics of Version Control. Onward! (2014)
Wouter Swierstra, Thomas van Noort
A library for polymorphic dynamic typing. J. Funct. Program. 23 (3) (2013)
Paul van der Walt, Wouter Swierstra
Engineering Proof by Reflection in Agda. IFL (2012)
Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht TFPIE (2012)
Wouter Swierstra
: programming a window manager in a proof assistant. Haskell (2012)
Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
Pure and Lazy Lambda Mining - An Experience Report. IFL (2012)
Wouter Swierstra
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine MSFP (2012)
Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer
Embedding polymorphic dynamic typing. WGP@ICFP (2011)
Wouter Swierstra
Sorted - Verifying the Problem of the Dutch National Flag in Agda. J. Funct. Program. 21 (6) (2011)
Wouter Swierstra
More dependent types for distributed arrays. High. Order Symb. Comput. 23 (4) (2010)
Andres Löh, Conor McBride, Wouter Swierstra
A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae 102 (2) (2010)
Wouter Swierstra
A Hoare Logic for the State Monad. TPHOLs (2009)
Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. ICFP (2009)
Wouter Swierstra
Data types à la carte. J. Funct. Program. 18 (4) (2008)
Nicolas Oury, Wouter Swierstra
The power of Pi. ICFP (2008)
Wouter Swierstra, Thorsten Altenkirch
Dependent Types for Distributed Arrays. Trends in Functional Programming (2008)
Thorsten Altenkirch, Conor McBride, Wouter Swierstra
Observational equality, now! PLPV (2007)
Wouter Swierstra, Thorsten Altenkirch
Beauty in the beast. Haskell (2007)

Wouter Swierstra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wouter Swierstra