Get my own profile
Co-authors
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk- James CheneyReader, 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
- Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
- Daniel HillerströmResearch Postgraduate Student, University of EdinburghVerified email at ed.ac.uk
- Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
- Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
- Michel SteuwerLecturer (Assistant Professor) in Compilers and Runtime Systems, University of EdinburghVerified email at ed.ac.uk
- Christophe DubachAssociate Professor, McGill UniversityVerified email at mcgill.ca
- Simon FowlerUniversity of GlasgowVerified email at glasgow.ac.uk
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
- KC SivaramakrishnanAssistant Professor, IIT MadrasVerified email at iitm.ac.in
- Nicolas OuryVerified email at ed.ac.uk
- 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
- Christian FenschARM NorwayVerified email at arm.com
- Yannick ForsterPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
- Shayan NajdThe University of EdinburghVerified email at ed.ac.uk
- Nate FosterAssociate Professor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
