Robert Atkey

Cited by

	All	Since 2018
Citations	1206	683
h-index	18	13
i10-index	28	18

160

120

2006200720082009201020112012201320142015201620172018201920202021202220236 3 10 19 35 50 59 36 72 60 64 94 103 128 130 157 150 15

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
Daniel HillerströmResearcher, The University of EdinburghVerified email at ed.ac.uk
James ChapmanIOGVerified email at iohk.io
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
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
É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
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
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Ekaterina KomendantskayaProfessor in Computer Science, Heriot-Watt University, ScotlandVerified email at hw.ac.uk
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	166	2009
Amortised resource analysis with separation logic R Atkey Programming Languages and Systems: 19th European Symposium on Programming …, 2010	131	2010
Productive coprogramming with guarded recursion R Atkey, C McBride ACM SIGPLAN Notices 48 (9), 197-208, 2013	117	2013
Syntax and semantics of quantitative type theory R Atkey Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	75	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	75	2014
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	60	2009
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017	50	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	46	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	37	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	29	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
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
Interleaving data and effects R Atkey, P Johann Journal of Functional Programming 25, e20, 2015	15	2015

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