Get my own profile
Public access
View all11 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
J. Garrett MorrisThe University of IowaVerified email at acm.org
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Paul HarveyRakuten MobileVerified email at rakuten.com
Adam GraniczIntelliFactoryVerified email at intellifactory.com
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Phil TrinderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Duncan Paul AttardUniversity of Glasgow and Reykjavik UniversityVerified email at um.edu.mt
Simon D. HardingUniversity of EdinburghVerified email at igmm.ed.ac.uk
Joanna SharmanUniversity of EdinburghVerified email at ed.ac.uk
Kwanghoon ChoiChonnam National University, Gwang-Ju, Republic of KoreaVerified email at jnu.ac.kr
Vashti GalpinLFCS, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Rudi HornUniversity of Edinburgh