Paul He
发表
Chung-Kil Hur,
Benjamin C. Pierce,
Gregory Malecha,
2019
.
S. Zdancewic,
L. Henrio,
Yannick Zakowski,
2022,
ArXiv.
Steve Zdancewic,
Adam Wick,
Karl Smeltzer,
2021,
Proc. ACM Program. Lang..
Andrew K. Hirsch,
Ethan Cecchetti,
S. Zdancewic,
2023,
Dagstuhl Artifacts Ser..
B. Pierce,
S. Zdancewic,
G. Malecha,
2019,
Proc. ACM Program. Lang..