@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
}