Li-yao Xia
发表
Benjamin C. Pierce,
Leonidas Lampropoulos,
Catalin Hritcu,
2016,
POPL.
B. Pierce,
Catalin Hritcu,
Leonidas Lampropoulos,
2015
.
Chung-Kil Hur,
Benjamin C. Pierce,
Gregory Malecha,
2019
.
Dominic A. Orchard,
Li-yao Xia,
Meng Wang,
2019
.
B. Pierce,
S. Zdancewic,
A. Chlipala,
2022,
Proc. ACM Program. Lang..
Dominic A. Orchard,
M. Wang,
Li-yao Xia,
2019,
ArXiv.
Benjamin C. Pierce,
Lennart Beringer,
Steve Zdancewic,
2018,
CPP.
Meng Wang,
Dominic A. Orchard,
Li-yao Xia,
2019,
ESOP.
B. Pierce,
Catalin Hritcu,
Leonidas Lampropoulos,
2016,
POPL.
B. Pierce,
S. Zdancewic,
G. Malecha,
2019,
Proc. ACM Program. Lang..
Benjamin C. Pierce,
Lennart Beringer,
Steve Zdancewic,
2021,
ITP.
B. Pierce,
Diane Gallois-Wong,
Li-yao Xia,
2020,
Foundations of Probabilistic Programming.