Anton Lorenzen
Scholar

Anton Lorenzen

Google Scholar ID: dZ4YeHoAAAAJ
PhD student, University of Edinburgh
Proof AssistantsFunctional Programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
126
 
H-index
7
 
i10-index
6
 
Publications
19
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
2 items
Persistent Amortised Analysis, Operationally
2026
Cited
0
Modal Effect Types
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
8 total
Sam Lindley
Sam Lindley
The University of Edinburgh
Wouter Swierstra
Wouter Swierstra
Universiteit Utrecht
Co-author 3
Co-author 3
Richard A. Eisenberg
Richard A. Eisenberg
Jane Street
Co-author 5
Co-author 5
Wenhao Tang
Wenhao Tang
University of Edinburgh
Co-author 7
Co-author 7
Co-author 8
Co-author 8