Philip Wadler

http://homepages.inf.ed.ac.uk/wadler/ [email protected]

University of Edinburgh Edinburgh Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.