Talia Ringer 团队「证明修复与余代数等价」论文获 POPL 条件接收

Talia Ringer 宣布与 Trey Plante、Eric Paul、Cosmo Viola、Alex Kavvos 合作的论文《Proof Repair and (Co)algebra Equivalences》获 POPL 条件接收。她表示，学生与合作者把其博士论文中的「直觉」变成了精确且可推广的形式化工作。