Эдинбургский университет
Philip Wadler, University of Edinburgh, UK