Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2015 SIGPLAN notices  
doi:10.1145/2775051.2677000 fatcat:qp7lquuxszgujnwigwpoblgpb4