Wouter Swierstra

Available identifiers

zbMath Open swierstra.wouterMaRDI QIDQ1791196

List of research outcomes

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	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wouter Swierstra