Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 20/01/11 → 31/01/14 |
Funding
- The Royal Society
Graph Models of Functional, Imperative and Logic Programming
- McCusker, Guy (PI)
- Guglielmi, Alessio (CoI)
- Laird, James (CoI)
- Power, John (CoI)
Project: Research council