爱丁堡大学
Philip Wadler, University of Edinburgh, UK