Linear dependent types for differential privacy (2013)

by M Gaboardi, A Haeberlen, J Hsu, A Narayan, B C Pierce
Venue:In POPL