Robert Atkey
Robert Atkey
Email confirmado em strath.ac.uk
Título
Citado por
Citado por
Ano
Parameterised notions of computation
R Atkey
Journal of functional programming 19 (3-4), 335-376, 2009
1512009
Amortised resource analysis with separation logic
R Atkey
European Symposium on Programming, 85-103, 2010
1092010
Productive coprogramming with guarded recursion
R Atkey, C McBride
ACM SIGPLAN Notices 48 (9), 197-208, 2013
982013
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
672014
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
562009
Syntax and semantics of quantitative type theory
R Atkey
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
372018
Continuation passing style for effect handlers
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan
Dagstuhl Publishing, 2017
372017
What is a categorical model of arrows?
R Atkey
Electronic notes in theoretical computer science 229 (5), 19-37, 2011
352011
Syntax for free: Representing syntax with binding using parametricity
R Atkey
International Conference on Typed Lambda Calculi and Applications, 35-49, 2009
302009
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
252016
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
232007
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
222018
Relational parametricity for higher kinds
R Atkey
202012
Dijkstra monads for all
K Maillard, D Ahman, R Atkey, G Martínez, C Hritcu, E Rivas, É Tanter
arXiv preprint arXiv:1903.01237, 2019
192019
Observed communication semantics for classical processes
R Atkey
European Symposium on Programming, 56-82, 2017
162017
Threadsafe: Static analysis for Java concurrency
R Atkey, D Sannella
Electronic Communications of the EASST 72, 2015
162015
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
152010
Refinement and Term Synthesis in Loop Invariant Generation.
E Maclean, A Ireland, L Dixon, R Atkey
WING@ ETAPS/IJCAR, 167-182, 2010
132010
Refining inductive types
R Atkey, P Johann, N Ghani
arXiv preprint arXiv:1205.2492, 2012
122012
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20