Nils Anders Danielsson,
Naïm Favier,
Ondřej Kubánek
Proceedings of the ACM on Programming Languages
-
2026