Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy.
Joseph P. NearDavid DaraisChike AbuahTim StevensPranav GaddamaduguLun WangNeel SomaniMu ZhangNikhil SharmaAlex ShanDawn SongPublished in: Proc. ACM Program. Lang. (2019)