Jason Reed

Affiliations:

University of Pennsylvania

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.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2010

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

[BibT_eX]

[DOI]

Jason Reed

Benjamin C. Pierce

Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, 2010

Differential privacy for collaborative security.

[BibT_eX]

[DOI]

Proceedings of the Third European Workshop on System Security, 2010

2009

Higher-order constraint simplification in dependent type theory.

[BibT_eX]

[DOI]

Jason Reed

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

2007

Intuitionistic Letcc via Labelled Deduction.

[BibT_eX]

[DOI]

Jason Reed

Frank Pfenning

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

2006

Hybridizing a Logical Framework.

[BibT_eX]

[DOI]

Jason Reed

Proceedings of the International Workshop on Hybrid Logic, 2006

2004

Redundancy Elimination for LF.

[BibT_eX]

[DOI]

Jason Reed

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

2003

Extending Higher-Order Unification to Support Proof Irrelevance.

[BibT_eX]

[DOI]

Jason Reed

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

Jason Reed

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...