@inproceedings{zhang-2019-fuzzi,
  author = {Hengchu Zhang and Edo Roth and Andreas Haeberlen and Benjamin C. Pierce and Aaron Roth},
  title = {Fuzzi: {A} Three-Level Logic for Differential Privacy},
  booktitle = {Proceedings of the 24nd ACM SIGPLAN International Conference on Functional Programming (ICFP'19)},
  location = {Berlin, Germany},
  month = aug,
  year = 2019
}