Scholar
Dominic Orchard
Google Scholar ID: vEsF_IwAAAAJ
School of Computing, University of Kent and Computer Laboratory, University of Cambridge
Programming languages
Functional Programming
Category Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,244
H-index
18
i10-index
32
Publications
20
Co-authors
48
list available
Publications
3 items
Categorical Models of Amortized Cost: An Adjoint Relationship between Cost and Potential
2026
Cited
0
Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
2026
Cited
0
Literate Execution
2026
Cited
0
Co-authors
9 total
Tomas Petricek
Faculty of Mathematics and Physics, Charles University
Danielle Marshall
Research Associate, University of Glasgow
Nobuko Yoshida
Department of Computer Science, University of Oxford
Marco Gaboardi
Boston University
Jack Hughes
Research Associate, University of Kent
Tarmo Uustalu
Professor, Reykjavik University / Lead research scientist, Tallinn University of Technology
Michael Vollmer
University of Kent
Philip Wadler
University of Edinburgh and IOHK/IOG
