Distance makes the types grow stronger: a calculus for differential privacy.

Jason Reed, Benjamin C. Pierce

Browse the full ICFP paper archive.