Robert Atkey

Cited by

	All	Since 2018
Citations	1360	832
h-index	18	15
i10-index	29	20

160

120

2006200720082009201020112012201320142015201620172018201920202021202220236 3 10 19 34 50 57 37 71 61 66 97 104 129 133 153 156 155

Public access

View all

12 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
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKVerified email at hw.ac.uk
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Michel SteuwerProfessor | Chair of Compilers and Programming Languages | TU BerlinVerified email at tu-berlin.de
Christophe DubachAssociate Professor, McGill UniversityVerified email at mcgill.ca
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
J. Garrett MorrisThe University of IowaVerified email at acm.org
Luca ArnaboldiAssistant Professor, University of BirminghamVerified email at bham.ac.uk
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl

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	177	2009
Amortised resource analysis with separation logic R Atkey European Symposium on Programming, 85-103, 2010	142	2010
Productive coprogramming with guarded recursion R Atkey, C McBride ACM SIGPLAN Notices 48 (9), 197-208, 2013	121	2013
Syntax and semantics of quantitative type theory R Atkey Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	118	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	66	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	63	2019
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017	55	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	49	2018
What is a categorical model of arrows? R Atkey Electronic notes in theoretical computer science 229 (5), 19-37, 2011	41	2011
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
Fibrational induction meets effects R Atkey, N Ghani, B Jacobs, P Johann Foundations of Software Science and Computational Structures: 15th …, 2012	37*	2012
Effect handlers via generalised continuations D Hillerström, S Lindley, R Atkey Journal of Functional Programming 30, e5, 2020	34	2020
Relational parametricity for higher kinds R Atkey	33	2012
Syntax for free: Representing syntax with binding using parametricity R Atkey International Conference on Typed Lambda Calculi and Applications, 35-49, 2009	32	2009
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 Types for Proofs and Programs: International Conference, TYPES 2007 …, 2008	23	2008
ThreadSafe: static analysis for Java concurrency R Atkey, D Sannella Electronic Communications of the EASST 72, 2015	21	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