Russell O'Connor
发表
Russell O'Connor,
2011,
WGP@ICFP.
Russell O'Connor,
Marta Piekarska,
Russell O'Connor,
2017,
Financial Cryptography Workshops.
Russell O'Connor,
2005,
TPHOLs.
Jacques Carette,
William M. Farmer,
Russell O'Connor,
2011,
Calculemus/MKM.
Russell O'Connor,
Mauro Jaskelioff,
2015,
J. Funct. Program..
Jacques Carette,
William M. Farmer,
Russell O'Connor,
2011,
ArXiv.
Russell O'Connor,
Russell O'Connor,
2017,
PLAS@CCS.
Jeremy Avigad,
Andrea Asperti,
Enrico Tassi,
2013,
ITP.
Russell O'Connor,
Bas Spitters,
2009,
CCA.
Jacques Carette,
Russell O'Connor,
2012,
AISC/MKM/Calculemus.
Russell O'Connor,
2011,
ArXiv.
Russell O'Connor,
Russell O'Connor,
2008,
TPHOLs.