@misc{indiciaeeb9a3b8f80d1,
  title = {Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy},
  author = {Joseph P. Near and David Darais and Chike Abuah and Tim Stevens and Pranav Gaddamadugu and Lun Wang and Neel Somani and Mu Zhang and Nikhil Sharma and Alex Shan and Dawn Song},
  year = {2019},
  url = {https://arxiv.org/abs/1909.02481},
  note = {Source identifier: 1909.02481}
}