Philip Wadler
Chair person
Computer science
The University of Edinburgh
United Kingdom
Biography
Philip Wadler Position Chair of Theoretical Computer Science Roles Associate Member of Institute for Computing Systems Architecture
Research Interest
Programming languages, functional programming, type systems, web programming, query languages for databases, hybrid and gradual typing, Haskell, Erlang, Java, XML.
Publications
-
Gradual Session Types
-
Theorems for Free for Free: parametricity, with and without types
-
Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday
