A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL. The file type is application/pdf.
application/pdf
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub. "Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy." SIGPLAN notices 50.1 (2015) 55-68