Wouter Swierstra

According to our database1, Wouter Swierstra authored at least 37 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Heterogeneous binary random-access lists.
J. Funct. Program., 2020

A Computational Evaluation of Musical Pattern Discovery Algorithms.
CoRR, 2020

Combining predicate transformer semantics for effects: a case study in parsing regular languages.
Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

2019
A predicate transformer semantics for effects (functional pearl).
Proc. ACM Program. Lang., 2019

An efficient algorithm for type-safe structural diffing.
Proc. ACM Program. Lang., 2019

A framework for improving error messages in dependently-typed languages.
Open Comput. Sci., 2019

2018
Embedding the refinement calculus in Coq.
Sci. Comput. Program., 2018

Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware.
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.
Proceedings of the 19th International Society for Music Information Retrieval Conference, 2018

From algebra to abstract machine: a verified generic construction.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2017
Special issue on Programming with Dependent Types Editorial.
J. Funct. Program., 2017

In Search of the Consensus Among Musical Pattern Discovery Algorithms.
Proceedings of the 18th International Society for Music Information Retrieval Conference, 2017

Type-directed diffing of structured data.
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.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017

2016
From Proposition to Program - Embedding the Refinement Calculus in Coq.
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015
Pi-Ware: Hardware Description and Verification in Agda.
Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

Auto in Agda - Programming Proof Search Using Reflection.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Datatype generic programming in F#.
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 2015

2014
The Semantics of Version Control.
Proceedings of the Onward! 2014, 2014

2013
A library for polymorphic dynamic typing.
J. Funct. Program., 2013

2012
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht
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
Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Pure and Lazy Lambda Mining - An Experience Report.
Proceedings of the Implementation and Application of Functional Languages, 2012

Engineering Proof by Reflection in Agda.
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.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

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

Embedding polymorphic dynamic typing.
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2010
More dependent types for distributed arrays.
High. Order Symb. Comput., 2010

A Tutorial Implementation of a Dependently Typed Lambda Calculus.
Fundam. Informaticae, 2010

2009
A functional specification of effects.
PhD thesis, 2009

A Hoare Logic for the State Monad.
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.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
Data types à la carte.
J. Funct. Program., 2008

Dependent Types for Distributed Arrays.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

The power of Pi.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007
Observational equality, now!
Proceedings of the ACM Workshop Programming Languages meets Program Verification, 2007

Beauty in the beast.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007


  Loading...