private algorithms / particular algorithms / query protocols / call-by-value fixed point operator / social networking sites / linear type systems / cartesian product / health insurance / type operator / /
Movie
It takes two / /
Organization
Differential Privacy Jason Reed Benjamin C. Pierce University of Pennsylvania Abstract We / eta / /
Person
John Doe / /
Position
general / compositional language features / General / programmer / /