Niki Vazou
发表
Simon L. Peyton Jones,
Ranjit Jhala,
Dimitrios Vytiniotis,
2014,
ICFP.
Niki Vazou,
Niki Vazou,
2016
.
Nikolaos S. Papaspyrou,
Niki Vazou,
Michalis A. Papakyriakou,
2011,
2011 Federated Conference on Computer Science and Information Systems (FedCSIS).
Leonidas Lampropoulos,
Jeff Polakow,
Niki Vazou,
2017,
Haskell.
Jeff Polakow,
Niki Vazou,
Jeff Polakow,
2016,
ArXiv.
Graham Hutton,
David Van Horn,
Joachim Breitner,
2018,
ArXiv.
Ranjit Jhala,
Eric L. Seidel,
Niki Vazou,
2014,
Haskell.
Ranjit Jhala,
Niki Vazou,
Ranjit Jhala,
2022
.
Daan Leijen,
Niki Vazou,
2016,
PADL.
Philip Wadler,
Ranjit Jhala,
Vikraman Choudhury,
2017,
Proc. ACM Program. Lang..
Ranjit Jhala,
Niki Vazou,
Patrick Maxim Rondon,
2013,
ESOP.
Ranjit Jhala,
Niki Vazou,
Alexander Bakst,
2015,
ICFP.
Graham Hutton,
Niki Vazou,
Martin A. T. Handley,
2020,
Proc. ACM Program. Lang..
Emina Torlak,
Jeffrey S. Foster,
Niki Vazou,
2017,
VMCAI.
Jeffrey S. Foster,
David Van Horn,
Sankha Narayan Guria,
2019,
PLDI.
Piotr Mardziel,
Niki Vazou,
2019,
CCS.
Ranjit Jhala,
Eric L. Seidel,
Niki Vazou,
2014,
ArXiv.
Michael Hicks,
James Parker,
Niki Vazou,
2019,
Proc. ACM Program. Lang..
Graham Hutton,
David Van Horn,
Joachim Breitner,
2018,
Haskell@ICFP.
Graham Hutton,
Niki Vazou,
Martin A. T. Handley,
2019
.
Michael Hicks,
James Parker,
Lindsey Kuper,
2020,
Proc. ACM Program. Lang..
Ryan Newton,
Ranjit Jhala,
Vikraman Choudhury,
2017,
ArXiv.
Niki Vazou,
2016
.
Ranjit Jhala,
Eric L. Seidel,
Niki Vazou,
2014,
ESOP.
Ranjit Jhala,
Niki Vazou,
Ranjit Jhala,
2020,
Found. Trends Program. Lang..
Jean-Pierre Talpin,
Niki Vazou,
Jean-Joseph Marty,
2020,
ArXiv.
David Van Horn,
Éric Tanter,
Niki Vazou,
2018,
Proc. ACM Program. Lang..
Ranjit Jhala,
Niki Vazou,
2021,
Found. Trends Program. Lang..
Deian Stefan,
Ranjit Jhala,
Nadia Polikarpova,
2021,
OSDI.
Michael Greenberg,
Niki Vazou,
M. Greenberg,
2021,
ArXiv.