Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/02/21 → 31/01/25 |
Funding
- MRC: £1,449,695.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.
-
Oxidizing OCaml with modal memory management
Lorenzen, A., White, L., Dolan, S., Eisenberg, R. A. & Lindley, S., 15 Aug 2024, In: Proceedings of the ACM on Programming Languages. 8, ICFP, p. 485-514 30 p., 253.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Bringing the WebAssembly standard up to speed with SpecTec
Youn, D., Shin, W., Lee, J., Ryu, S., Breitner, J., Gardner, P., Lindley, S., Pretnar, M., Rao, X., Watt, C. & Rossberg, A., 20 Jun 2024, In: Proceedings of the ACM on Programming Languages. 8, PLDI, p. 1559-1584 26 p., 210.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The functional essence of imperative binary search trees
Lorenzen, A., Leijen, D., Swierstra, W. & Lindley, S., 20 Jun 2024, In: Proceedings of the ACM on Programming Languages. 8, PLDI, p. 518-542 25 p., 168.Research output: Contribution to journal › Article › peer-review
Open AccessFile