Philip Wadler - Edinburgh Research Explorer

Edinburgh Research Explorer

Prof Philip Wadler

Chair of Theoretical Computer Science

School of Informatics

Research outputs

Propositions as Sessions
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Blame for All
Research output: Contribution to journal › Article
Blame for all
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (68) »

Research projects

From Data Types to Session Types - A Basis for Concurrency and Distribution
Project: Funded Project › Research
Linking Theory to Practice for the Web.
Project: Funded Project › Research
Royal Society Wolfson Merit Award
Project: Funded Project › Research

View all (3) »

Research press coverage

Prof Phil Wadler adds his voice to debate over anti-semitism
Press clipping: Research

View all (1) »

ID: 25010