Distance makes the types grow stronger: A calculus for differential privacy (2010)

by Jason Reed , Benjamin C. Pierce
Venue:In ICFP
Citations:17 - 2 self