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.

Affiliation:University of Edinburgh
Research interests:Foundations of programming

Contributions

GPCE 2023 Committee Member in Program Committee within the GPCE 2023-track
ICFP 2021 Author of Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation) within the Research Papers-track
HOPL IV Session Chair of Tuesday Late Afternoon (part of Papers)
Committee Member in Program Committee within the Papers-track
SPLASH 2020 Author of Featherweight Go within the OOPSLA-track
Author of Featherweight Go within the OOPSLA Artifacts-track
Mentor in Mentors within the PLMW-track
Scala 2020 Committee Member in Program Committee within the Scala-track
WGT 2020 Author of Blame tracking at higher fidelity within the WGT-track
PADL 2020 Invited Speaker of Panel: Experience and Direction within the PADL 2020-track
Author of Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types within the PADL 2020-track
GPCE 2019 Committee Member in Program Committee within the GPCE 2019-track
ICFP 2019 Author of Programming Language Foundations in Agda within the Tutorials-track
ECOOP 2019 Author of Plutus and Marlowe within the Curry On-track
BEAT 2019 Session Chair of Session 1 (part of BEAT 2019)
Committee Member in Program Committee within the BEAT 2019-track
SPLASH 2018 Author of The Root Cause of Blame: Contracts for Intersection and Union Types within the OOPSLA-track
Author of The Root Cause of Blame: Contracts for Intersection and Union Types within the Artifacts-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
POPL 2018 Author 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 within the Research Papers-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
DSLDI 2017 Committee Member in Program Committee within the DSLDI 2017-track
Haskell 2017 Author of Quantified Class Constraints within the Haskell 2017-track
ICFP 2017 Author 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
ECOOP 2017 Author 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
PLDI 2017 Committee Member in Steering Committee
PLATEAU 2016 Committee Member in Program Committee within the PLATEAU-track
PLMW 2016 Author of Some Types of Types within the PLMW-track
Committee Member in Speakers within the PLMW-track
POPL 2016 Committee Member in Steering Committee
PEPM 2016 Author of Everything Old Is New Again: Quoted Domain-Specific Languages within the PEPM-track
ECOOP 2015 Presenter of Everything old is new again: Quoted domain specific languages within the Curry On-track
DSLDI 2015 Author of A practical theory of language-integrated query —and— Everything old is new again within the DSLDI-track
PLDI 2015 Author of Blame and coercion: Together again for the first time within the Research Papers-track
ESOP 2015 Committee Member in Steering Committee
PLATEAU 2012 Committee Member in Program Committee within the PLATEAU 2012-track