MPC 2019: 13TH INTERNATIONAL CONFERENCE ON MATHEMATICS OF PROGRAM CONSTRUCTION
Philip Wadler
Organization: The University of Edinburgh
Web page: http://homepages.inf.ed.ac.uk/wadler/
Pages in this Program
Program
Program for Tuesday, October 8th
Program for Wednesday, October 9th