Yao Li
发表
Stephanie Weirich,
Li-yao Xia,
Yao Li,
2021,
Proc. ACM Program. Lang..
Benjamin C. Pierce,
Lennart Beringer,
Steve Zdancewic,
2021,
ITP.