Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang 0001, Nikhil Sharma, Alex Shan, Dawn Song
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
OOPSLA, 2019.
@article{OOPSLA-2019-NearDASGWSZSSS,
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 0001 and Nikhil Sharma and Alex Shan and Dawn Song",
doi = "10.1145/3360598",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "30",
publisher = "{ACM}",
title = "{Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy}",
volume = 3,
year = 2019,
}
Tags: