Antal Spector-Zabusky
发表
Leonidas Lampropoulos,
Antal Spector-Zabusky,
Kenneth Foner,
2017,
Haskell.
Benjamin C. Pierce,
Leonidas Lampropoulos,
Antal Spector-Zabusky,
2013,
Journal of Functional Programming.
Benjamin C. Pierce,
Antal Spector-Zabusky,
Arthur Azevedo de Amorim,
2015
.
Benjamin C. Pierce,
Leonidas Lampropoulos,
Antal Spector-Zabusky,
2016,
Journal of Functional Programming.
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components
pdf
Benjamin C. Pierce,
Antal Spector-Zabusky,
Catalin Hritcu,
2015,
ArXiv.
Stephanie Weirich,
Antal Spector-Zabusky,
Joachim Breitner,
2017,
CPP.
Benjamin C. Pierce,
Antal Spector-Zabusky,
Catalin Hritcu,
2015,
2015 IEEE Symposium on Security and Privacy.
Antal Spector-Zabusky,
Donald Spector,
2017
.
Benjamin C. Pierce,
Antal Spector-Zabusky,
Arthur Azevedo de Amorim,
2014
.
Antal Spector-Zabusky,
Kenneth Foner,
Jennifer Paykin,
2016,
TyDe@ICFP.
Stephanie Weirich,
Antal Spector-Zabusky,
Yao Li,
2019,
ArXiv.
Antal Spector-Zabusky,
Stephanie Weirich,
Yao Li,
2018,
Journal of Functional Programming.
Benjamin C. Pierce,
John Hughes,
Leonidas Lampropoulos,
2013
.