Document is current
Any future updates will be listed below
-
Authors
Stepanenko, Sergei https://orcid.org/0000-0002-7322-5644
Nardino, Emma
Frumin, Dan https://orcid.org/0000-0001-5864-7278
Timany, Amin https://orcid.org/0000-0002-2237-851X
Birkedal, Lars https://orcid.org/0000-0003-1320-0098
- License Information
-
More Information
Chapter History
First Online: 1 May 2025
Data-Availability Statement
: The formalisation associated with this paper, which covers all the main results, is available online [].
Conference Information
Conference Acronym: ESOP
Conference Name: European Symposium on Programming
Conference City: Hamilton, ON
Conference Country: Canada
Conference Year: 2025
Conference Start Date: 3 May 2025
Conference End Date: 8 May 2025
Conference Number: 34
Conference ID: esop2025
Conference URL: https://etaps.org/2025/conferences/esop/
