에든버러 대학교
Philip Wadler, University of Edinburgh, UK