Sam Lindley
Scholar

Sam Lindley

Google Scholar ID: 0cB7Ky4AAAAJ
The University of Edinburgh
Google Scholar↗
Citations & Impact
All-time
Citations
1,616
 
H-index
22
 
i10-index
36
 
Publications
20
 
Co-authors
56
list available
Contact
No contact links provided.
Publications
3 items
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
Proc. ACM Program. Lang. · 2026
Cited
0
Rows and Capabilities as Modal Effects
2025
Cited
0
Modal Effect Types
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
56 total
Philip Wadler
Philip Wadler
University of Edinburgh and IOHK/IOG
James Cheney
James Cheney
Professor, Laboratory for Foundations of Computer Science, University of Edinburgh
Jeremy Yallop
Jeremy Yallop
University of Cambridge
J. Garrett Morris
J. Garrett Morris
The University of Iowa
Co-author 5
Co-author 5
Robert Atkey
Robert Atkey
University of Strathclyde
Ohad Kammar
Ohad Kammar
University of Edinburgh School of Informatics
Co-author 8
Co-author 8