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 researcher, Huawei Zurich Research CenterVerified 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 SivaramakrishnanTarides / IIT MadrasVerified 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
- Nicolas OuryVerified email at ed.ac.uk
- Craig McLaughlinSenior Research Associate, University of New South WalesVerified email at unsw.edu.au
- Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
- Frank EmrichUniversity of EdinburghVerified email at ed.ac.uk