Li-yao Xia,
Laura Israel,
Maite Kramarz,
Nicholas Coltharp,
Koen Claessen,
Stephanie Weirich,
Yao Li
Proceedings of the ACM on Programming Languages
-
2024