Harley Eades III

According to our database, Harley Eades III authored at least 22 papers between 2012 and 2024.

Collaborative distances:

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

2024

A Mixed Linear and Graded Logic: Proofs, Terms, and Models.

Victoria Vollmer, Daniel Marshall, Harley Eades III, Dominic Orchard

CoRR, 2024

2023

Combining Dependency, Grades, and Adjoint Logic.

Peter Hanukaev, Harley Eades III

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022

A Dependent Dependency Calculus (Extended Version).

Pritam Choudhury, Harley Eades III, Stephanie Weirich

CoRR, 2022

A Dependent Dependency Calculus.

Pritam Choudhury, Harley Eades III, Stephanie Weirich

Proceedings of the Programming Languages and Systems, 2022

2021

A graded dependent type system with a usage-aware semantics.

Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich

Proc. ACM Program. Lang., 2021

Graded Modal Dependent Type Theory.

Benjamin Moon, Harley Eades III, Dominic Orchard

Proceedings of the Programming Languages and Systems, 2021

2020

Multiple conclusion linear logic: cut elimination and more.

Harley Eades III, Valeria de Paiva

J. Log. Comput., 2020

A graded dependent type system with a usage-aware semantics (extended version).

Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie C. Weirich

CoRR, 2020

Grading Adjoint Logic.

Harley Eades III, Dominic Orchard

CoRR, 2020

Unifying graded and parameterised monads.

Dominic Orchard, Philip Wadler, Harley Eades III

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

2019

Quantitative program reasoning with graded modal types.

Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III

Proc. ACM Program. Lang., 2019

2018

On the Lambek Calculus with an Exchange Modality.

Jiaming Jiang, Harley Eades III, Valeria de Paiva

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

An Intuitionistic Linear Logical Semantics of SAND Attack Trees.

Harley Eades III

CoRR, 2018

Dialectica Categories for the Lambek Calculus.

Valeria de Paiva, Harley Eades III

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

On Linear Logic, Functional Programming, and Attack Trees.

Harley Eades III, Jiaming Jiang, Aubrey Bryant

Proceedings of the 5th International Workshop on Graphical Models for Security, 2018

2017

Constructive Temporal Logic, Categorically.

Valeria de Paiva, Harley Eades III

FLAP, 2017

A Cointuitionistic Adjoint Logic.

Harley Eades III, Gianluigi Bellin

CoRR, 2017

2016

Dualized Simple Type Theory.

Harley Eades III, Aaron Stump, Ryan McCleeary

Log. Methods Comput. Sci., 2016

2013

Hereditary Substitution for the λΔ-Calculus.

Harley Eades III, Aaron Stump

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

2012

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

LFSC for SMT Proofs: Work in Progress.

Aaron Stump, Andrew Reynolds, Cesare Tinelli, Austin Laugesen, Harley Eades III, Corey Oliver, Ruoyu Zhang

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

Equational reasoning about programs with general recursion and call-by-value semantics.

Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012