Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth 0001
Fuzzi: a three-level logic for differential privacy
ICFP, 2019.
@article{ICFP-2019-ZhangRHP0,
author = "Hengchu Zhang and Edo Roth and Andreas Haeberlen and Benjamin C. Pierce and Aaron Roth 0001",
doi = "10.1145/3341697",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "28",
title = "{Fuzzi: a three-level logic for differential privacy}",
volume = 3,
year = 2019,
}