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

Gilles Barthe, Marco Gaboardi, Emilio Jess Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub

Browse the full POPL paper archive.