Project Details
Description
PhD Studentship funded by the NCSC
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/19 → 31/03/23 |
Research Groups and Themes
- Programming Languages
Higher-Order Program Invariants
- Ramsay, Steven (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/19 → 31/03/23 |