Robert Atkey

Cited by

	All	Since 2018
Citations	1234	708
h-index	18	14
i10-index	28	18

160

120

2006200720082009201020112012201320142015201620172018201920202021202220236 3 10 19 35 50 59 36 72 60 67 94 103 127 131 157 151 39

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Patricia JohannAppalachian State UniversityVerified email at appstate.edu
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
James ChapmanIOGVerified email at iohk.io
Daniel HillerströmSenior researcher, Huawei Research Center ZurichVerified email at ed.ac.uk
Allais GuillaumePostdoc, University of St AndrewsVerified email at st-andrews.ac.uk
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
Éric TanterProfessor of Computer Science, University of ChileVerified email at dcc.uchile.cl
Danel AhmanPostDoc, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Guido MartínezCIFASIS-CONICETVerified email at cifasis-conicet.gov.ar
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Michel SteuwerLecturer (Assistant Professor) in Compilers and Runtime Systems, University of EdinburghVerified email at ed.ac.uk
Christophe DubachAssociate Professor, McGill UniversityVerified email at mcgill.ca
Ekaterina KomendantskayaProfessor in Computer Science, Heriot-Watt University, ScotlandVerified email at hw.ac.uk
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
J. Garrett MorrisThe University of IowaVerified email at acm.org
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Lucas DixonPAIR, Google ResearchVerified email at google.com

Robert Atkey

University of Strathclyde

Verified email at strath.ac.uk

Programming Languages Type Theory Semantics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Parameterised notions of computation R Atkey Journal of functional programming 19 (3-4), 335-376, 2009	167	2009
Amortised resource analysis with separation logic R Atkey Programming Languages and Systems: 19th European Symposium on Programming …, 2010	133	2010
Productive coprogramming with guarded recursion R Atkey, C McBride ACM SIGPLAN Notices 48 (9), 197-208, 2013	118	2013
Syntax and semantics of quantitative type theory R Atkey Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	81	2018
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	77	2014
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	62	2009
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017	51	2017
Dijkstra monads for all K Maillard, D Ahman, R Atkey, G Martínez, C Hritcu, E Rivas, É Tanter arXiv preprint arXiv:1903.01237, 2019	49	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	39	2018
Conflation confers concurrency R Atkey, S Lindley, JG Morris A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016	37	2016
What is a categorical model of arrows? R Atkey Electronic notes in theoretical computer science 229 (5), 19-37, 2011	37	2011
Fibrational induction meets effects R Atkey, N Ghani, B Jacobs, P Johann Foundations of Software Science and Computational Structures: 15th …, 2012	36*	2012
Relational parametricity for higher kinds R Atkey	31	2012
Syntax for free: Representing syntax with binding using parametricity R Atkey Typed Lambda Calculi and Applications: 9th International Conference, TLCA …, 2009	31	2009
Effect handlers via generalised continuations D Hillerström, S Lindley, R Atkey Journal of Functional Programming 30, e5, 2020	30	2020
Observed communication semantics for classical processes R Atkey Programming Languages and Systems: 26th European Symposium on Programming …, 2017	25	2017
CoqJVM: An executable specification of the Java virtual machine using dependent types R Atkey Lecture Notes in Computer Science 4941, 18-32, 2008	24	2008
ThreadSafe: static analysis for Java concurrency R Atkey, D Sannella Electronic Communications of the EASST 72, 2015	18	2015
Strategy preserving compilation for parallel functional code R Atkey, M Steuwer, S Lindley, C Dubach arXiv preprint arXiv:1710.08332, 2017	16	2017
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	16	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors