Jason Reed

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith
Differential privacy for collaborative security. EUROSEC (2010)
Jason Reed, Benjamin C. Pierce
Distance makes the types grow stronger: a calculus for differential privacy. ICFP (2010)
Jason Reed, Frank Pfenning
Intuitionistic Letcc via Labelled Deduction. Electron. Notes Theor. Comput. Sci. 231 (2009)
Jason Reed
Higher-order constraint simplification in dependent type theory. LFMTP (2009)
Jason Reed
Redundancy Elimination for LF. Electron. Notes Theor. Comput. Sci. 199 (2008)
Jason Reed
Hybridizing a Logical Framework. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Jason Reed
Extending Higher-Order Unification to Support Proof Irrelevance. TPHOLs (2003)