Zoe Paraskevopoulou
发表
Stephan Merz,
Sébastien Tixeuil,
Leslie Lamport,
2013
.
Andrew W. Appel,
Zoe Paraskevopoulou,
John M. Li,
2021,
Proc. ACM Program. Lang..
G. Ruxton,
M. Songer,
W. McShea,
2021,
Oryx.
Benjamin C. Pierce,
Leonidas Lampropoulos,
Zoe Paraskevopoulou,
2017,
Proc. ACM Program. Lang..
Benjamin C. Pierce,
Leonidas Lampropoulos,
Catalin Hritcu,
2015,
ITP.
Z. Paraskevopoulou,
J. Deichmann,
W. McShea,
2021
.
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
B. Pierce,
Catalin Hritcu,
Leonidas Lampropoulos,
2015
.