Jason Reed

According to our database, Jason Reed authored at least 7 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Distance makes the types grow stronger: a calculus for differential privacy.

Jason Reed, Benjamin C. Pierce

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Differential privacy for collaborative security.

Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith

Proceedings of the Third European Workshop on System Security, 2010

2009

Higher-order constraint simplification in dependent type theory.

Jason Reed

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2007

Intuitionistic Letcc via Labelled Deduction.

Jason Reed, Frank Pfenning

Proceedings of the 5th Workshop on Methods for Modalities, 2007

2006

Hybridizing a Logical Framework.

Jason Reed

Proceedings of the International Workshop on Hybrid Logic, 2006

2004

Redundancy Elimination for LF.

Jason Reed

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

2003

Extending Higher-Order Unification to Support Proof Irrelevance.

Jason Reed

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003