The system can't perform the operation now. Try again later.
This "Cited by" count includes citations to the following articles in Scholar. The ones marked * may be different from the article in the profile.
Get my own profile
Based on funding mandates
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk Sam LindleyThe University of EdinburghVerified email at ed.ac.uk Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk JosefFacebookVerified email at fb.com John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se