Wouter Swierstra
Universiteit Utrecht
H-index: 16
Europe-Netherlands
Top articles of Wouter Swierstra
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The Functional Essence of Imperative Binary Search Trees | Proceedings of the ACM on Programming Languages | Anton Lorenzen Daan Leijen Wouter Swierstra Sam Lindley | 2024/4/1 |
FP²: Fully in-Place Functional Programming | Proceedings of the ACM on Programming Languages | Anton Lorenzen Daan Leijen Wouter Swierstra | 2023/8/30 |
A correct-by-construction conversion from lambda calculus to combinatory logic | Journal of Functional Programming | Wouter Swierstra | 2023/1 |
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers | Wouter Swierstra Nicolas Wu | 2023 | |
Translation Certification for Smart Contracts | Jacco OG Krijnen Manuel MT Chakravarty Gabriele Keller Wouter Swierstra | 2022/5/3 | |
Calculating datastructures | Ralf Hinze Wouter Swierstra | 2022/9/22 | |
A well-known representation of monoids and its application to the function ‘vector reverse’ | Journal of Functional Programming | Wouter Swierstra | 2022/1 |
Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation | João Paulo Pizani Flor Wouter Swierstra | 2022/8/31 | |
A completely unique account of enumeration | Proceedings of the ACM on Programming Languages | Cas Van Der Rest Wouter Swierstra | 2022/8/29 |
Algorithmics | Advancing Research in Information and Communication Technology: IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups | Richard Bird Jeremy Gibbons Ralf Hinze Peter Höfner Johan Jeuring | 2021 |
Heterogeneous binary random-access lists | Journal of Functional Programming | Wouter Swierstra | 2020/1 |
A computational evaluation of musical pattern discovery algorithms | arXiv preprint arXiv:2010.12325 | Iris Ren Anja Volk Wouter Swierstra Remco C Veltkamp | 2020/10/23 |
Combining predicate transformer semantics for effects: a case study in parsing regular languages | arXiv preprint arXiv:2005.00197 | Anne Baanen Wouter Swierstra | 2020/5/1 |