Linear dependent types for differential privacy.

Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce

Browse the full POPL paper archive.