| Parameterised notions of computation R Atkey Journal of functional programming 19 (3-4), 335-376, 2009 | 147 | 2009 |
| Amortised resource analysis with separation logic R Atkey European Symposium on Programming, 85-103, 2010 | 101 | 2010 |
| Productive coprogramming with guarded recursion R Atkey, C McBride ACM SIGPLAN Notices 48 (9), 197-208, 2013 | 94 | 2013 |
| A relationally parametric model of dependent type theory R Atkey, N Ghani, P Johann Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 63 | 2014 |
| Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009 | 54 | 2009 |
| What is a categorical model of arrows? R Atkey Electronic notes in theoretical computer science 229 (5), 19-37, 2011 | 35 | 2011 |
| Syntax and semantics of quantitative type theory R Atkey Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 32 | 2018 |
| Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017 | 32 | 2017 |
| Syntax for free: Representing syntax with binding using parametricity R Atkey International Conference on Typed Lambda Calculi and Applications, 35-49, 2009 | 30 | 2009 |
| Fibrational induction meets effects R Atkey, N Ghani, B Jacobs, P Johann International Conference on Foundations of Software Science and …, 2012 | 28* | 2012 |
| Conflation confers concurrency R Atkey, S Lindley, JG Morris A List of Successes That Can Change the World, 32-55, 2016 | 24 | 2016 |
| A type and scope safe universe of syntaxes with binding: their semantics and proofs G Allais, R Atkey, J Chapman, C McBride, J McKinna Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 22 | 2018 |
| CoqJVM: An executable specification of the Java virtual machine using dependent types R Atkey International Workshop on Types for Proofs and Programs, 18-32, 2007 | 21 | 2007 |
| Dijkstra monads for all K Maillard, D Ahman, R Atkey, G Martínez, C Hritcu, E Rivas, É Tanter arXiv preprint arXiv:1903.01237, 2019 | 17 | 2019 |
| Observed communication semantics for classical processes R Atkey European Symposium on Programming, 56-82, 2017 | 16 | 2017 |
| ThreadSafe: static analysis for Java concurrency R Atkey, D Sannella Electronic Communications of the EASST 72, 2015 | 16 | 2015 |
| Relational parametricity for higher kinds R Atkey | 15 | 2012 |
| Symbolic and analytic techniques for resource analysis of Java bytecode D Aspinall, R Atkey, K MacKenzie, D Sannella International Symposium on Trustworthy Global Computing, 1-22, 2010 | 15 | 2010 |
| Refinement and Term Synthesis in Loop Invariant Generation. E Maclean, A Ireland, L Dixon, R Atkey WING@ ETAPS/IJCAR, 167-182, 2010 | 13 | 2010 |
| Refining inductive types R Atkey, P Johann, N Ghani arXiv preprint arXiv:1205.2492, 2012 | 12 | 2012 |
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
