Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/12/21 → 31/12/23 |
Funding
- Royal Society: £207,221.25
Effectful theories of programming languages: mathematically structured programming
- Kammar, Ohad (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/12/21 → 31/12/23 |