| Parameterised notions of computation R Atkey Journal of functional programming 19 (3-4), 335-376, 2009 | 201 | 2009 |
| Syntax and semantics of quantitative type theory R Atkey Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 186 | 2018 |
| Amortised resource analysis with separation logic R Atkey European Symposium on Programming, 85-103, 2010 | 169 | 2010 |
| Productive coprogramming with guarded recursion R Atkey, C McBride ACM SIGPLAN Notices 48 (9), 197-208, 2013 | 141 | 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 | 84 | 2014 |
| Dijkstra monads for all K Maillard, D Ahman, R Atkey, G Martínez, C Hriţcu, E Rivas, É Tanter Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 83 | 2019 |
| 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 | 79 | 2018 |
| Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009 | 75 | 2009 |
| Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017 | 74 | 2017 |
| Conflation confers concurrency R Atkey, S Lindley, JG Morris A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016 | 47 | 2016 |
| What is a categorical model of arrows? R Atkey Electronic notes in theoretical computer science 229 (5), 19-37, 2011 | 47 | 2011 |
| Effect handlers via generalised continuations D Hillerström, S Lindley, R Atkey Journal of Functional Programming 30, e5, 2020 | 44 | 2020 |
| Relational parametricity for higher kinds R Atkey Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 40 | 2012 |
| Fibrational induction meets effects R Atkey, N Ghani, B Jacobs, P Johann International Conference on Foundations of Software Science and …, 2012 | 39* | 2012 |
| Syntax for free: Representing syntax with binding using parametricity R Atkey International Conference on Typed Lambda Calculi and Applications, 35-49, 2009 | 36 | 2009 |
| Observed communication semantics for classical processes R Atkey European Symposium on Programming, 56-82, 2017 | 31 | 2017 |
| 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 | 27 | 2007 |
| A framework for substructural type systems J Wood, R Atkey European Symposium on Programming, 376-402, 2022 | 21 | 2022 |
| Threadsafe: Static analysis for java concurrency R Atkey, D Sannella Electronic Communications of the EASST 72, 1-16, 2015 | 21 | 2015 |
| Vehicle: Bridging the embedding gap in the verification of neuro-symbolic programs ML Daggitt, W Kokke, R Atkey, E Komendantskaya, N Slusarz, ... arXiv preprint arXiv:2401.06379, 2024 | 17 | 2024 |
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
