Statistics
Publications
14
Citations
559
H-Index
12
Active since
2006
Robert Atkey is an author at University of Strathclyde specializing in computer science, formal methods, and engineering.
Publications per year
2006–2024
14
14
Parameterised notions of computation
Robert Atkey · Journal of Functional Programming · 2009 · 115 citations · Full text
Engineering, Computational Monads, Parameterized Complexity +15
Syntax and Semantics of Quantitative Type Theory
Robert Atkey · 2018 · 92 citations
Productive coprogramming with guarded recursion
Robert Atkey, Conor McBride · 2013 · 75 citations
Engineering, Computational Complexity, Formal Verification +17
Unembedding domain-specific languages
Robert Atkey, Sam Lindley, Jeremy Yallop · 2009 · 55 citations
A relationally parametric model of dependent type theory
Robert Atkey, Neil Ghani, Patricia Johann · 2014 · 46 citations · Full text
1–5 of 14