Get my own profile
Public access
View all43 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified 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 Software Engineer, Category Labs, New York, USAVerified 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
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Michel SteuwerProfessor | TU Berlin | Chair of Compilers and Programming LanguagesVerified email at tu-berlin.de
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Christophe DubachAssociate Professor, McGill UniversityVerified email at mcgill.ca
KC SivaramakrishnanIIT Madras / TaridesVerified email at iitm.ac.in
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
Yannick ForsterCambium Team, Inria ParisVerified email at inria.fr
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Nicolas OuryVerified email at ed.ac.uk
Craig McLaughlinSenior Research Associate, University of New South WalesVerified email at unsw.edu.au
Frank EmrichUniversity of EdinburghVerified email at ed.ac.uk