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