Harley Eades III

26 papers A 2B 1Misc 2Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
A Mixed Linear and Graded Logic: Proofs, Terms, and Models.
CSL
Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard
2024 J jnl
A Mixed Linear and Graded Logic: Proofs, Terms, and Models.
CoRR
Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard
2023 — conf
Combining Dependency, Grades, and Adjoint Logic.
TyDe@ICFP
Peter Hanukaev, Harley Eades III
2023 J jnl
Combining dependency, grades, and adjoint logic.
CoRR
Peter Hanukaev, Harley Eades III
2022 J jnl
A Dependent Dependency Calculus (Extended Version).
CoRR
Pritam Choudhury, Harley Eades III, Stephanie Weirich
2022 A conf
A Dependent Dependency Calculus.
ESOP
Pritam Choudhury, Harley Eades III, Stephanie Weirich
2021 J jnl
A graded dependent type system with a usage-aware semantics.
Proc. ACM Program. Lang.
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich
2021 A conf
Graded Modal Dependent Type Theory.
ESOP
Benjamin Moon, Harley Eades III, Dominic Orchard
2020 J jnl
A graded dependent type system with a usage-aware semantics (extended version).
CoRR
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie C. Weirich
2020 J jnl
Graded Modal Dependent Type Theory.
CoRR
Benjamin Moon, Harley Eades III, Dominic Orchard
2020 J jnl
Grading Adjoint Logic.
CoRR
Harley Eades III, Dominic Orchard
2020 — ed.
Graphical Models for Security - 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers
GraMSec
Harley Eades III, Olga Gadyatskaya
2020 J jnl
Multiple conclusion linear logic: cut elimination and more.
J. Log. Comput.
Harley Eades III, Valeria de Paiva
2020 — conf
Unifying graded and parameterised monads.
MSFP@ETAPS
Dominic Orchard, Philip Wadler, Harley Eades III
2019 J jnl
Quantitative program reasoning with graded modal types.
Proc. ACM Program. Lang.
Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III
2018 J jnl
An Intuitionistic Linear Logical Semantics of SAND Attack Trees.
CoRR
Harley Eades III
2018 Misc conf
Dialectica Categories for the Lambek Calculus.
LFCS
Valeria de Paiva, Harley Eades III
2018 J jnl
Dialectica Categories for the Lambek Calculus.
CoRR
Valeria de Paiva, Harley Eades III
2018 — conf
On Linear Logic, Functional Programming, and Attack Trees.
GraMSec
Harley Eades III, Jiaming Jiang, Aubrey Bryant
2018 — conf
On the Lambek Calculus with an Exchange Modality.
Linearity-TLLA@FLoC
Jiaming Jiang, Harley Eades III, Valeria de Paiva
2017 J jnl
A Cointuitionistic Adjoint Logic.
CoRR
Harley Eades III, Gianluigi Bellin
2017 J jnl
Constructive Temporal Logic, Categorically.
FLAP
Valeria de Paiva, Harley Eades III
2016 J jnl
Dualized Simple Type Theory.
Log. Methods Comput. Sci.
Harley Eades III, Aaron Stump, Ryan McCleeary
2016 Misc conf
Multiple Conclusion Linear Logic: Cut Elimination and More.
LFCS
Harley Eades III, Valeria de Paiva
2013 — conf
Hereditary Substitution for the λΔ-Calculus.
COS
Harley Eades III, Aaron Stump
2012 — conf
LFSC for SMT Proofs: Work in Progress.
PxTP
Aaron Stump, Andrew Reynolds, Cesare Tinelli, Austin Laugesen, Harley Eades III, Corey Oliver, Ruoyu Zhang