جامعة إدنبرة
Philip Wadler, University of Edinburgh, UK