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

by J Reed, B C Pierce
Venue:In Proceedings of the ACM International Conference on Functional Programming