@inproceedings{gaboardi-2013-dfuzz, author = {Marco Gaboardi and Andreas Haeberlen and Justin Hsu and Arjun Narayan and Benjamin C. Pierce}, title = {Linear Dependent Types for Differential Privacy}, booktitle = {Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'13)}, location = {Rome, Italy}, month = jan, year = 2013 }