Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

OOPSLA 2019
DBLP
Scholar
DOI
Full names Links ISxN
@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:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.