@misc{indiciae2bc56d89612a,
  title = {Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy},
  author = {Gilles Barthe and Marco Gaboardi and Emilio Jesús Gallego Arias and Justin Hsu and Aaron Roth and Pierre-Yves Strub},
  year = {2014},
  doi = {10.1145/2676726.2677000},
  url = {https://arxiv.org/abs/1407.6845},
  note = {Source identifier: 1407.6845}
}