Follow
Robert Atkey
Title
Cited by
Cited by
Year
Parameterised notions of computation
R Atkey
Journal of functional programming 19 (3-4), 335-376, 2009
1782009
Amortised resource analysis with separation logic
R Atkey
European Symposium on Programming, 85-103, 2010
1412010
Syntax and semantics of quantitative type theory
R Atkey
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
1302018
Productive coprogramming with guarded recursion
R Atkey, C McBride
ACM SIGPLAN Notices 48 (9), 197-208, 2013
1222013
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
812014
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
672009
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
652019
Continuation passing style for effect handlers
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan
Dagstuhl Publishing, 2017
582017
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
502018
What is a categorical model of arrows?
R Atkey
Electronic notes in theoretical computer science 229 (5), 19-37, 2011
422011
Conflation confers concurrency
R Atkey, S Lindley, JG Morris
A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016
392016
Fibrational induction meets effects
R Atkey, N Ghani, B Jacobs, P Johann
Foundations of Software Science and Computational Structures: 15th …, 2012
37*2012
Relational parametricity for higher kinds
R Atkey
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
352012
Syntax for free: Representing syntax with binding using parametricity
R Atkey
International Conference on Typed Lambda Calculi and Applications, 35-49, 2009
342009
Effect handlers via generalised continuations
D Hillerström, S Lindley, R Atkey
Journal of Functional Programming 30, e5, 2020
322020
Observed communication semantics for classical processes
R Atkey
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
272017
CoqJVM: An executable specification of the Java virtual machine using dependent types
R Atkey
Types for Proofs and Programs: International Conference, TYPES 2007 …, 2008
232008
Threadsafe: Static analysis for java concurrency
R Atkey, D Sannella
Electronic Communications of the EASST 72, 1-16, 2015
192015
Strategy preserving compilation for parallel functional code
R Atkey, M Steuwer, S Lindley, C Dubach
arXiv preprint arXiv:1710.08332, 2017
172017
Symbolic and analytic techniques for resource analysis of Java bytecode
D Aspinall, R Atkey, K MacKenzie, D Sannella
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich …, 2010
162010
The system can't perform the operation now. Try again later.
Articles 1–20