Statistics
Publications
15
Citations
434
H-Index
12
Active since
2010
Dominic Orchard is an author at University of Cambridge specializing in formal methods, engineering, and computer science.
Publications per year
2010–2021
15
15
Tomáš Petříček, Dominic Orchard, Alan Mycroft · 2014 · 71 citations
Combining effects and coeffects via grading
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard et al. · 2016 · 61 citations · Full text
Effects as sessions, sessions as effects
Dominic Orchard, Nobuko Yoshida · 2016 · 43 citations
Dominic Orchard, Max Bolingbroke, Alan Mycroft · 2010 · 31 citations
1–5 of 15