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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Joseph P. Near' in GoogleThis author has not been identified. Look up 'David Darais' in GoogleThis author has not been identified. Look up 'Chike Abuah' in GoogleThis author has not been identified. Look up 'Tim Stevens' in GoogleThis author has not been identified. Look up 'Pranav Gaddamadugu' in GoogleThis author has not been identified. Look up 'Lun Wang' in GoogleThis author has not been identified. Look up 'Neel Somani' in GoogleThis author has not been identified. Look up 'Mu Zhang' in GoogleThis author has not been identified. Look up 'Nikhil Sharma' in GoogleThis author has not been identified. Look up 'Alex Shan' in GoogleThis author has not been identified. Look up 'Dawn Song' in Google

runs on WebDSL