Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/05/00 → 31/10/02 |
Funding
- EPSRC: £121,864.00
Type systems for resource-bounded programming and compilation
- Sannella, Don (Principal Investigator)
- Aspinall, David (Co-investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/05/00 → 31/10/02 |