Jason Reed

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Intuitionistic Letcc via Labelled Deduction Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Distance makes the types grow stronger: a calculus for differential privacy Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Redundancy elimination for LF Electronic Notes in Theoretical Computer Science	2014-01-10	Paper
Hybridizing a logical framework Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Extending higher-order unification to support proof irrelevance Lecture Notes in Computer Science	2010-05-07	Paper

Research outcomes over time

This page was built for person: Jason Reed