Zoe Paraskevopoulou
发表
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
ArXiv.
Deepak Garg,
Zoe Paraskevopoulou,
Ezgi Çiçek,
2016,
ICFP.
Benjamin C. Pierce,
Leonidas Lampropoulos,
Zoe Paraskevopoulou,
2017,
Proc. ACM Program. Lang..
Benjamin C. Pierce,
Leonidas Lampropoulos,
Catalin Hritcu,
2015,
ITP.
Zoe Paraskevopoulou,
Andrew W. Appel,
2019,
Proc. ACM Program. Lang..
Stephan Merz,
Sébastien Tixeuil,
Leslie Lamport,
2013
.
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
Andrew W. Appel,
Zoe Paraskevopoulou,
John M. Li,
2021,
Proc. ACM Program. Lang..
Zoe Paraskevopoulou,
Anvay Grover,
2021,
Proc. ACM Program. Lang..