Scholar
Anton Lorenzen
Google Scholar ID: dZ4YeHoAAAAJ
PhD student, University of Edinburgh
Proof Assistants
Functional Programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
126
H-index
7
i10-index
6
Publications
19
Co-authors
8
list available
Publications
2 items
Persistent Amortised Analysis, Operationally
2026
Cited
0
Modal Effect Types
arXiv.org · 2024
Cited
1
Co-authors
4 total
Sam Lindley
The University of Edinburgh
Wouter Swierstra
Universiteit Utrecht
Richard A. Eisenberg
Jane Street
Wenhao Tang
University of Edinburgh
