Robert Atkey

Cited by

	All	Since 2018
Citations	1262	736
h-index	18	14
i10-index	28	19

160

120

2006200720082009201020112012201320142015201620172018201920202021202220236 3 10 19 35 50 59 36 72 60 67 94 103 128 132 157 154 61

Public access

View all

11 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 Zurich Research CenterVerified email at ed.ac.uk
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.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
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
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
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
Fredrik Nordvall ForsbergUniversity of StrathclydeVerified email at strath.ac.uk

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	168	2009
Amortised resource analysis with separation logic R Atkey Programming Languages and Systems: 19th European Symposium on Programming …, 2010	137	2010
Productive coprogramming with guarded recursion R Atkey, C McBride ACM SIGPLAN Notices 48 (9), 197-208, 2013	119	2013
Syntax and semantics of quantitative type theory R Atkey Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	87	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	78	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
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	53	2019
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017	51	2017
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	41	2018
What is a categorical model of arrows? R Atkey Electronic notes in theoretical computer science 229 (5), 19-37, 2011	40	2011
Conflation confers concurrency R Atkey, S Lindley, JG Morris A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016	38	2016
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	32	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	17	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