Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/19 → 31/12/23 |
Funding
- Other (Learned Society): £610,794.00
Effectful theories of programming languages: models, abstractions, validation
- Hillston, Jane (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/19 → 31/12/23 |