Institution. Input Output (IOHK) People Philip Wadler philipwadlerPrincipal Research Fellow, Input Output · Input Output (IOHK) PhD advisorArie Nicolaas Habermann, Guy L. Steele Jr. PhD studentsWen Kokke PhDCarnegie Mellon University UndergraduateStanford University homepages.inf.ed.ac.uk/wadler · 0000-0001-7619-6378