Get my own profile
Public access
View all4 articles
1 article
available
not available
Based on funding mandates
Co-authors
Andrew FarmerFacebookVerified email at fb.com
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Neil SculthorpeNottingham Trent UniversityVerified email at ntu.ac.uk
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Graham HuttonProfessor of Computer Science, University of NottinghamVerified email at nottingham.ac.uk
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Mauro JaskelioffCIFASIS/CONICET - Universidad Nacional de RosarioVerified email at fceia.unr.edu.ar
Magnus CarlssonVerified email at carlssonia.org
Johan NordlanderData Ductus ABVerified email at dataductus.se
Dan DePardoUniversity of KansasVerified email at ku.edu
Perry AlexanderAT&T Foundation Distinguished Professor, ITTC Director, The University of KansasVerified email at ku.edu
Jurriaan HageFull professor, Heriot-Watt University, ScotlandVerified email at hw.ac.uk