Publications
1 publication
Page 1 of 1
Artjoms Šinkarovs & Troels Henriksen,
2025, Proceedings of the ACM on Programming Languages, 9(ICFP), 567-596
DOI: 10.1145/3747524
Type: article