Scholar
Wouter Swierstra
Google Scholar ID: ZrrljKAAAAAJ
Universiteit Utrecht
Citations & Impact
Citations
677
H-index
14
i10-index
16
Publications
20
Co-authors
9
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published 'A Layered Certifying Compiler Architecture' at FUNARCH 2025
- Published 'First-Order Laziness' at ICFP 2025
- Published 'Towards type-directed compiler calculation' in JFP, vol 34, 2025
- Published 'Program logics for ledgers' at FMBC 2025
- Published 'On the Correctness of Barron and Strachey’s Cartesian Product Function' at TFP 2025
- Published 'The Functional Essence of Imperative Binary Search Trees' at PLDI 2024
- Delivered invited talks at IFL, ICFP, IFIP WG 2.1/2.8, and other international venues
