Wouter Swierstra

Available identifiers

Publication	Date of Publication	Type
A correct-by-construction conversion from lambda calculus to combinatory logic	2023-12-11	Paper
Calculating datastructures	2023-06-30	Paper
A well-known representation of monoids and its application to the function ‘vector reverse’	2022-09-02	Paper
Translation certification for smart contracts	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5020618	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5854732	2021-03-17	Paper
Heterogeneous binary random-access lists	2020-05-26	Paper
Verified timing transformations in synchronous circuits with \(\lambda\pi\)-Ware	2018-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4580232	2018-08-13	Paper
From Proposition to Program	2016-04-04	Paper
Auto in Agda	2015-08-27	Paper
The power of Pi	2015-03-16	Paper
Attribute grammars fly first-class	2015-01-06	Paper
A library for polymorphic dynamic typing	2014-02-27	Paper
More dependent types for distributed arrays	2013-01-08	Paper
Sorted. Verifying the problem of the Dutch national flag in Agda	2012-09-21	Paper
A Tutorial Implementation of a Dependently Typed Lambda Calculus	2011-05-20	Paper
A Hoare Logic for the State Monad	2009-10-20	Paper
Data types à la carte	2008-08-15	Paper

This page was built for person: Wouter Swierstra