Get my own profile
Public access
View all32 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
J. Garrett MorrisThe University of IowaVerified email at acm.org
Daniel HillerströmSenior researcher, Huawei Research Center ZurichVerified email at ed.ac.uk
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
Simon FowlerUniversity of GlasgowVerified email at glasgow.ac.uk
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Christophe DubachAssociate Professor, McGill UniversityVerified email at mcgill.ca
Michel SteuwerLecturer (Assistant Professor) in Compilers and Runtime Systems, University of EdinburghVerified email at ed.ac.uk
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
Yannick ForsterPostdoc in the Gallinette Team at Inria NantesVerified email at inria.fr
Nicolas OuryVerified email at ed.ac.uk
Christian FenschARM NorwayVerified email at arm.com
Peter BunemanProfessor, University of EdinburghVerified email at inf.ed.ac.uk
Shayan NajdThe University of EdinburghVerified email at ed.ac.uk