Wouter Swierstra

According to our database, Wouter Swierstra authored at least 47 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Translation certification for smart contracts.

Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra

Sci. Comput. Program., 2024

The Functional Essence of Imperative Binary Search Trees.

Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley

Proc. ACM Program. Lang., 2024

2023

FP²: Fully in-Place Functional Programming.

Anton Lorenzen, Daan Leijen, Wouter Swierstra

Proc. ACM Program. Lang., August, 2023

A correct-by-construction conversion from lambda calculus to combinatory logic.

Wouter Swierstra

J. Funct. Program., 2023

2022

A completely unique account of enumeration.

Cas van der Rest, Wouter Swierstra

Proc. ACM Program. Lang., 2022

A well-known representation of monoids and its application to the function 'vector reverse'.

Wouter Swierstra

J. Funct. Program., 2022

Calculating Datastructures.

Ralf Hinze, Wouter Swierstra

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation.

João Paulo Pizani Flor, Wouter Swierstra

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

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

Proceedings of the Advancing Research in Information and Communication Technology, 2021

2020

Heterogeneous binary random-access lists.

Wouter Swierstra

J. Funct. Program., 2020

A Computational Evaluation of Musical Pattern Discovery Algorithms.

Iris Yuping Ren, Anja Volk, Wouter Swierstra, Remco C. Veltkamp

CoRR, 2020

Combining predicate transformer semantics for effects: a case study in parsing regular languages.

Anne Baanen, Wouter Swierstra

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

2019

A predicate transformer semantics for effects (functional pearl).

Wouter Swierstra, Tim Baanen

Proc. ACM Program. Lang., 2019

An efficient algorithm for type-safe structural diffing.

Victor Cacciari Miraldo, Wouter Swierstra

Proc. ACM Program. Lang., 2019

A framework for improving error messages in dependently-typed languages.

Joseph Eremondi, Wouter Swierstra, Jurriaan Hage

Open Comput. Sci., 2019

What constitutes a musical pattern?

Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

2018

Embedding the refinement calculus in Coq.

João Alpuim, Wouter Swierstra

Sci. Comput. Program., 2018

Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware.

João Paulo Pizani Flor, Wouter Swierstra

Proceedings of the Interactive Theorem Proving - 9th International Conference, 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

Proceedings of the 19th International Society for Music Information Retrieval Conference, 2018

From algebra to abstract machine: a verified generic construction.

Carlos Tomé Cortiñas, Wouter Swierstra

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2017

Special issue on Programming with Dependent Types Editorial.

Wouter Swierstra, Peter Dybjer

J. Funct. Program., 2017

In Search of the Consensus Among Musical Pattern Discovery Algorithms.

Iris Yuping Ren, Hendrik Vincent Koops, Anja Volk, Wouter Swierstra

Proceedings of the 18th International Society for Music Information Retrieval Conference, 2017

Type-directed diffing of structured data.

Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra

Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017

Generic packet descriptions: verified parsing and pretty printing of low-level data.

Marcell van Geest, Wouter Swierstra

Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017

2016

From Proposition to Program - Embedding the Refinement Calculus in Coq.

Wouter Swierstra, João Alpuim

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

Pi-Ware: Hardware Description and Verification in Agda.

João Paulo Pizani Flor, Wouter Swierstra, Yorick Sijsling

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

Auto in Agda - Programming Proof Search Using Reflection.

Pepijn Kokke, Wouter Swierstra

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Datatype generic programming in F#.

Ernesto Rodríguez, Wouter Swierstra

Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 2015

2014

The Semantics of Version Control.

Wouter Swierstra, Andres Löh

Proceedings of the Onward! 2014, 2014

2013

A library for polymorphic dynamic typing.

Wouter Swierstra, Thomas van Noort

J. Funct. Program., 2013

2012

Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht

Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra

Proceedings of the Proceedings First International Workshop on Trends in Functional Programming in Education, 2012

From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

Wouter Swierstra

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Pure and Lazy Lambda Mining - An Experience Report.

Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra

Proceedings of the Implementation and Application of Functional Languages, 2012

Engineering Proof by Reflection in Agda.

Paul van der Walt, Wouter Swierstra

Proceedings of the Implementation and Application of Functional Languages, 2012

xmonad in Coq <i>(experience report)</i>: programming a window manager in a proof assistant.

Wouter Swierstra

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Sorted - Verifying the Problem of the Dutch National Flag in Agda.

Wouter Swierstra

J. Funct. Program., 2011

Embedding polymorphic dynamic typing.

Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2010

More dependent types for distributed arrays.

Wouter Swierstra

High. Order Symb. Comput., 2010

A Tutorial Implementation of a Dependently Typed Lambda Calculus.

Andres Löh, Conor McBride, Wouter Swierstra

Fundam. Informaticae, 2010

2009

A functional specification of effects.

Wouter Swierstra

PhD thesis, 2009

A Hoare Logic for the State Monad.

Wouter Swierstra

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.

Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Data types à la carte.

Wouter Swierstra

J. Funct. Program., 2008

Dependent Types for Distributed Arrays.

Wouter Swierstra, Thorsten Altenkirch

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

The power of Pi.

Nicolas Oury, Wouter Swierstra

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Observational equality, now!

Thorsten Altenkirch, Conor McBride, Wouter Swierstra

Proceedings of the ACM Workshop Programming Languages meets Program Verification, 2007

Beauty in the beast.

Wouter Swierstra, Thorsten Altenkirch

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007