Back to Results
First PageMeta Content
Mathematical analysis / Symbol / Continuous function / Valuation / Programming language semantics / Orbifold / Normalisation by evaluation / Abstract algebra / Mathematics / Algebraic geometry


Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy (Extended Version) Jason Reed∗ Benjamin Pierce
Add to Reading List

Document Date: 2012-01-30 20:07:59


Open Document

File Size: 1,32 MB

Share Result on Facebook

Company

Google / /

IndustryTerm

social networking sites / specific algorithms / dot product / particular algorithms / linear type systems / differentially private algorithms / query protocols / type operator / /

Person

John Doe / Jason Reed / /

Position

general / compositional language features / programmer / /

PublishedMedium

R & R / /

Technology

functional programming / query protocols / specific algorithms / known differentially private algorithms / /

SocialTag