Philip Wadler

Registered user since Sat 19 Jul 2014

Name: Philip Wadler

Bio: Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, winner of the SIGPLAN Distinguished Service Award, and a winner of the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris. He has an h-index of 60, with more than 20,000 citations to his work according to Google Scholar. He contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O’Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich.

Country: United Kingdom

Affiliation: University of Edinburgh, UK

Personal website:

Research interests: Foundations of programming


HOPL IVCommittee Member in Program Committee
DSLDI 2017Committee Member in Program Committee
ICFP 2018Committee Member in External Review Committee
Haskell 2017Author of Quantified Class Constraints within the Haskell 2017-track
GPCE 2017Committee Member in Program Committee
ICFP 2017Author of Gradual Session Types within the Research Papers-track
Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track
POPL 2018Author of Refinement Reflection: Complete Verification with SMT within the Artifact Evaluation-track
Author of Refinement Reflection: Complete Verification with SMT within the Research Papers-track
Committee Member in Program Committee
PLATEAU 2016Committee Member in Program Committee
PLMW 2016Author of Some Types of Types within the PLMW-track
Committee Member in Speakers
PLDI 2017Committee Member in Steering Committee
ECOOP 2017Author of Mixing Metaphors: Actors as Channels and Channels as Actors within the ECOOP Research Papers-track
Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track
PEPM 2016Author of Everything Old Is New Again: Quoted Domain-Specific Languages within the PEPM-track
POPL 2016Committee Member in Steering Committee
DSLDI 2015Author of A practical theory of language-integrated query —and— Everything old is new again within the DSLDI-track
ESOP 2015Committee Member in Steering Committee
PLDI 2015Author of Blame and coercion: Together again for the first time within the Research Papers-track
ECOOP 2015Presenter of Everything old is new again: Quoted domain specific languages within the Curry On-track