Philip Wadler – Projects — University of Edinburgh Research Explorer

View Scopus Profile

Phone+44 (0) 131 650 5174
Emailwadlerinf.ed.acuk
Websitehttp://homepages.inf.ed.ac.uk/wadler/

If you made any changes in Pure these will be visible here soon.

2 Active
4 Finished

2 results

Filter

Active

SAGE: Scoped and Gradual Effects
Wadler, P.
UK industry, commerce and public corporations
1/12/21 → 30/11/23
Project: Research
Verifying smart contracts for Blockchain
Wadler, P.
EU government bodies
1/09/21 → 31/08/25
Project: Research