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 001; Neel Somani; Mu Zhang 001; Nikhil Sharma; Alex Shan; Dawn Song (Proc. ACM Program. Lang., 2019)