R. Atkey
发表
R. Atkey,
2004
.
S. Lindley,
R. Atkey,
Daniel Hillerström,
2019
.
Neil Ghani,
S. Staton,
F. Forsberg,
2015
.
R. Atkey,
2018
.
R. Atkey,
2017
.
K. Mackenzie,
R. Atkey,
Christopher Paton,
2007
.
Robert Atkey,
Exequiel Rivas,
Catalin Hritcu,
2019,
Proc. ACM Program. Lang..
Robert Atkey,
Sam Lindley,
Michel Steuwer,
2017,
ArXiv.
Robert Atkey,
Sam Lindley,
Michel Steuwer,
2017
.
E. Komendantskaya,
R. Atkey,
Luca Arnaboldi,
2023,
CPP.
Robert Atkey,
Ekaterina Komendantskaya,
Daniel Kienitz,
2020,
APLAS.
Robert Atkey,
Conor McBride,
Conor McBride,
2013,
ICFP.
Robert Atkey,
Sam Lindley,
S. Lindley,
2018,
Electronic Proceedings in Theoretical Computer Science.
Robert Atkey,
R. Atkey,
2006,
J. Funct. Program..
R. Atkey,
2023,
ArXiv.
Robert Atkey,
Sam Lindley,
J. Garrett Morris,
2016,
A List of Successes That Can Change the World.
Robert Atkey,
Conor McBride,
James Chapman,
2018,
Journal of Functional Programming.
Robert Atkey,
R. Atkey,
2018,
LICS.
Robert Atkey,
Andrew Ireland,
Lucas Dixon,
2010,
WING@ETAPS/IJCAR.
Robert Atkey,
R. Atkey,
2017,
ESOP.
Robert Atkey,
Patricia Johann,
Neil Ghani,
2011,
FoSSaCS.
Robert Atkey,
Kenneth MacKenzie,
Donald Sannella,
2010,
TGC.
Robert Atkey,
Patricia Johann,
Neil Ghani,
2014,
POPL.
D. Sannella,
K. Mackenzie,
R. Atkey,
2008
.
R. Atkey,
2006,
J. Funct. Program..
Robert Atkey,
R. Atkey,
2010,
ESOP.
Robert Atkey,
R. Atkey,
2011,
MSFP@ICALP.
James Wood,
R. Atkey,
2020,
Linearity&TLLA@IJCAR-FSCD.
Wen Kokke,
R. Atkey,
M. Daggitt,
2024,
ArXiv.
Wen Kokke,
R. Atkey,
M. Daggitt,
2022,
ArXiv.
F. J. Wallace,
A. Whitfield,
R. Atkey,
1975,
Comput. Aided Des..
Wen Kokke,
R. Atkey,
Natalia Slusarz,
2024,
ArXiv.