エディンバラ大学
Philip Wadler, University of Edinburgh, UK