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/

2 Active
7 Finished

9 results

Active

Verifying smart contracts for Blockchain
Wadler, P.
EIT Digital
1/09/21 → 31/08/25
Project: Research
Verifying smart contracts for Blockchain
Wadler, P.
EU government bodies
1/09/21 → 31/08/25
Project: Research
Finished

SAGE: Scoped and Gradual Effects
Wadler, P.
UK industry, commerce and public corporations
1/07/22 → 31/12/23
Project: Research
SAGE: Scoped and Gradual Effects
Wadler, P.
Huawei Technologies Research & Development (UK) Limited
1/07/22 → 31/12/24
Project: Research
SAGE: Scoped and Gradual Effects
Wadler, P.
Huawei Technologies Research & Development (UK) Limited
1/07/22 → 31/12/23
Project: Research
Type Script: the Next Generation
Wadler, P.
UK industry, commerce and public corporations
1/09/14 → 28/02/19
Project: Research
From Data Types to Session Types - A Basis for Concurrency and Distribution
Wadler, P.
EPSRC
20/05/13 → 19/11/20
Project: Research
Linking Theory to Practice for the Web.
Wadler, P.
EPSRC
1/12/05 → 31/01/09
Project: Research
Royal Society Wolfson Research Merit Award
Wadler, P.
Other (Learned Society)
1/10/04 → 30/11/09
Project: Research