Items where Author, Editor or other role is "Richards, Jay"
Number of items: 1.
| Richards, Jay, Wright, Daniel, Cooksey, Simon, Batty, Mark (2025) Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice. Proceedings of the ACM on Programming Languages, 9 (OOPSLA). pp. 1858-1882. ISSN 2475-1421. (doi:10.1145/3721089) (KAR id:110436) |

Up a level