Edinburgh Research Explorer

Effectful theories of programming languages: models, abstractions, validation

Project: Research

StatusActive
Effective start/end date1/01/1931/12/23
Total award£610,794.00
Funding organisationUK-based charities
Funder project referenceURF\R1\180243
Period1/01/1931/12/23