2024-07-092024-07-092024-07-0901640925https://infoscience.epfl.ch/handle/20.500.14299/36958ACM Transactions on Programming Languages and Systems