University of Edinburgh
Philip Wadler, University of Edinburgh, UK