Publications & Reports

Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, and Anton Podkopaev.

Proceedings of the ACM on Programming Languages, Volume 6, Issue POPL 2022, Article No.: 54, 1–30. 2022

Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino.

Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 – Proceedings of MFPS XXXVIII, February 28, 2023, entics:10505. 2023

Eddie Jones, C.-H. Luke Ong, and Steven Ramsay.

PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language, Pages 395–409. 2022