TY  - RPRT
TI  - Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
AU  - Joseph P. Near
AU  - David Darais
AU  - Chike Abuah
AU  - Tim Stevens
AU  - Pranav Gaddamadugu
AU  - Lun Wang
AU  - Neel Somani
AU  - Mu Zhang
AU  - Nikhil Sharma
AU  - Alex Shan
AU  - Dawn Song
PY  - 2019
UR  - https://arxiv.org/abs/1909.02481
ID  - 1909.02481
ER  -