Travelled to:
1 × USA
Collaborated with:
B.C.Pierce
Talks about:
differenti (1) stronger (1) calculus (1) privaci (1) distanc (1) type (1) make (1) grow (1)
Person: Jason Reed
DBLP: Reed:Jason
Contributed to:
Wrote 1 papers:
- ICFP-2010-ReedP #calculus #difference #distance #privacy
- Distance makes the types grow stronger: a calculus for differential privacy (JR, BCP), pp. 157–168.