Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 15/09/24 → 14/09/25 |
| Links | https://www.aria.org.uk/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai https://www.aria.org.uk/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/meet-the-creators |
Research Groups and Themes
- Programming Languages
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 (Academic Journal)
-
Domain-Theoretic Semantics for Functional Logic Programming
Jones, E., Main, S. S., Li, C., Marriott, J. & Kavvos, G. A., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 1641-1672 32 p., 57.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile87 Downloads (Pure)