Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/17 → 31/08/20 |
Funding
- UK-based charities: £14,991.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Article
-
One Down, 699 to Go: or, synthesising compositional desugarings
Bartha, S., Cheney, J. & Belle, V., 15 Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 29 p., 122.Research output: Contribution to journal › Article › peer-review
Open AccessFile