Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, and Alastair F. Donaldson.

Proceedings of the ACM on Programming Languages, Volume 7, Issue POPL 2023, Article No.: 60, 1740–1769. 2023