Get my own profile

### Co-authors

- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
- Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
- Adam ŚcibiorUniversity of British ColumbiaVerified email at cs.ubc.ca
- Matija PretnarUniversity of LjubljanaVerified email at fmf.uni-lj.si
- Frank WoodUniversity of British ColumbiaVerified email at cs.ubc.ca
- Nicolas OuryVerified email at ed.ac.uk
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
- Yannick ForsterPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
- Giorgio BacciDept. Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
- Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
- Fredrik DahlqvistUniversity College LondonVerified email at ucl.ac.uk
- Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk