Wouter Swierstra

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A correct-by-construction conversion from lambda calculus to combinatory logic Journal of Functional Programming	2023-12-11	Paper
Calculating datastructures Lecture Notes in Computer Science	2023-06-30	Paper
A well-known representation of monoids and its application to the function ‘vector reverse’ Journal of Functional Programming	2022-09-02	Paper
Translation certification for smart contracts (available as arXiv preprint)	2022-08-10	Paper
Combining predicate transformer semantics for effects: a case study in parsing regular languages	2022-01-06	Paper
Combining predicate transformer semantics for effects: a case study in parsing regular languages (available as arXiv preprint)	2022-01-06	Paper
scientific article; zbMATH DE number 7324353 (Why is no real title available?)	2021-03-17	Paper
scientific article; zbMATH DE number 7324353 (Why is no real title available?) (available as arXiv preprint)	2021-03-17	Paper
Heterogeneous binary random-access lists Journal of Functional Programming	2020-05-26	Paper
Verified timing transformations in synchronous circuits with \(\lambda\pi\)-Ware	2018-10-04	Paper
\(\Pi\)-Ware: hardware description and verification in Agda	2018-08-13	Paper
From proposition to program. Embedding the refinement calculus in Coq Functional and Logic Programming	2016-04-04	Paper
Auto in Agda. Programming proof search using reflection Lecture Notes in Computer Science	2015-08-27	Paper
The power of Pi Proceedings of the 13th ACM SIGPLAN international conference on Functional programming	2015-03-16	Paper
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell Proceedings of the 14th ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
A library for polymorphic dynamic typing Journal of Functional Programming	2014-02-27	Paper
More dependent types for distributed arrays Higher-Order and Symbolic Computation	2013-01-08	Paper
Sorted. Verifying the problem of the Dutch national flag in Agda Journal of Functional Programming	2012-09-21	Paper
A tutorial implementation of a dependently typed lambda calculus Fundamenta Informaticae	2011-05-20	Paper
A Hoare Logic for the State Monad Lecture Notes in Computer Science	2009-10-20	Paper
Data types à la carte Journal of Functional Programming	2008-08-15	Paper

Research outcomes over time

This page was built for person: Wouter Swierstra