Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy

Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song. Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 2019. [doi]

@article{NearDASGWSZSSS19,
  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},
  doi = {10.1145/3360598},
  url = {https://doi.org/10.1145/3360598},
  researchr = {https://researchr.org/publication/NearDASGWSZSSS19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
  number = {OOPSLA},
}