Robert Atkey

Citeras av

	Alla	Sedan 2019
Citat	1525	886
h-index	18	15
i10-index	30	19

180

135

20062007200820092010201120122013201420152016201720182019202020212022202320246 3 10 19 33 50 57 37 70 62 64 99 107 128 136 153 151 156 162

Offentlig åtkomst

Visa alla

13 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Sam LindleyThe University of EdinburghVerifierad e-postadress på ed.ac.uk
Conor McBrideReader, University of StrathclydeVerifierad e-postadress på strath.ac.uk
Patricia JohannAppalachian State UniversityVerifierad e-postadress på appstate.edu
James ChapmanIOG (IOHK)Verifierad e-postadress på iohk.io
Daniel HillerströmSenior researcher, Huawei Zurich Research CenterVerifierad e-postadress på ed.ac.uk
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKVerifierad e-postadress på hw.ac.uk
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerifierad e-postadress på strath.ac.uk
Matthew L. DaggittLecturer, University of Western AustraliaVerifierad e-postadress på uwa.edu.au
Luca ArnaboldiAssistant Professor, University of BirminghamVerifierad e-postadress på bham.ac.uk
Éric TanterProfessor of Computer Science, University of ChileVerifierad e-postadress på dcc.uchile.cl
Danel AhmanInstitute of Computer Science, University of TartuVerifierad e-postadress på ut.ee
Guido MartínezCIFASIS-CONICETVerifierad e-postadress på cifasis-conicet.gov.ar
Jeremy YallopUniversity of CambridgeVerifierad e-postadress på cl.cam.ac.uk
KC SivaramakrishnanTarides / IIT MadrasVerifierad e-postadress på iitm.ac.in
David AspinallProfessor in Computer Science, University of EdinburghVerifierad e-postadress på ed.ac.uk
Donald SannellaProfessor of Computer Science, University of EdinburghVerifierad e-postadress på inf.ed.ac.uk
Michel SteuwerProfessor | TU Berlin | Chair of Compilers and Programming LanguagesVerifierad e-postadress på tu-berlin.de
Christophe DubachAssociate Professor, McGill UniversityVerifierad e-postadress på mcgill.ca
Cătălin HrițcuTenured Faculty at MPI-SPVerifierad e-postadress på mpi-sp.org
J. Garrett MorrisThe University of IowaVerifierad e-postadress på acm.org

Följ

Robert Atkey

University of Strathclyde

Verifierad e-postadress på strath.ac.uk

Programming Languages Type Theory Semantics


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Parameterised notions of computation R Atkey Journal of functional programming 19 (3-4), 335-376, 2009	182	2009
Syntax and semantics of quantitative type theory R Atkey Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	155	2018
Amortised resource analysis with separation logic R Atkey European Symposium on Programming, 85-103, 2010	155	2010
Productive coprogramming with guarded recursion R Atkey, C McBride ACM SIGPLAN Notices 48 (9), 197-208, 2013	128	2013
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	81	2014
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	69	2019
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	68	2009
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017	63	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	60	2018
Conflation confers concurrency R Atkey, S Lindley, JG Morris A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016	44	2016
What is a categorical model of arrows? R Atkey Electronic notes in theoretical computer science 229 (5), 19-37, 2011	44	2011
Fibrational induction meets effects R Atkey, N Ghani, B Jacobs, P Johann Foundations of Software Science and Computational Structures: 15th …, 2012	38*	2012
Relational parametricity for higher kinds R Atkey Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012	38	2012
Effect handlers via generalised continuations D Hillerström, S Lindley, R Atkey Journal of Functional Programming 30, e5, 2020	36	2020
Syntax for free: Representing syntax with binding using parametricity R Atkey International Conference on Typed Lambda Calculi and Applications, 35-49, 2009	35	2009
Observed communication semantics for classical processes R Atkey Programming Languages and Systems: 26th European Symposium on Programming …, 2017	32	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	26	2008
Threadsafe: Static analysis for java concurrency R Atkey, D Sannella Electronic Communications of the EASST 72, 1-16, 2015	20	2015
A framework for substructural type systems J Wood, R Atkey European Symposium on Programming, 376-402, 2022	18	2022
Strategy preserving compilation for parallel functional code R Atkey, M Steuwer, S Lindley, C Dubach arXiv preprint arXiv:1710.08332, 2017	17	2017

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare