Follow
Harley D. Eades III
Harley D. Eades III
Assistant Professor of CS, Augusta University
Verified email at augusta.edu - Homepage
Title
Cited by
Cited by
Year
Quantitative program reasoning with graded modal types
D Orchard, VB Liepelt, H Eades III
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
572019
Equational reasoning about programs with general recursion and call-by-value semantics
G Kimmell, A Stump, HD Eades III, P Fu, T Sheard, S Weirich, ...
Proceedings of the sixth workshop on Programming languages meets program …, 2012
312012
Irrelevance, heterogeneous equality, and call-by-value dependent type systems
V Sjöberg, C Casinghino, KY Ahn, N Collins, HD Eades III, P Fu, ...
arXiv preprint arXiv:1202.2923, 2012
302012
Graded modal dependent type theory
B Moon, H Eades III, D Orchard
Programming Languages and Systems 12648, 462, 2021
132021
A graded dependent type system with a usage-aware semantics
P Choudhury, H Eades III, RA Eisenberg, S Weirich
Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021
122021
Unifying graded and parameterised monads
D Orchard, P Wadler, H Eades III
arXiv preprint arXiv:2001.10274, 2020
122020
Hereditary substitution for stratified system f
H Eades, A Stump
International Workshop on Proof-Search in Type Theories, PSTT 10, 2010
122010
Dialectica categories for the lambek calculus
V Paiva, H Eades
International Symposium on Logical Foundations of Computer Science, 256-272, 2018
82018
Multiple conclusion linear logic: Cut elimination and more
H Eades, V Paiva
International Symposium on Logical Foundations of Computer Science, 90-105, 2016
72016
On the lambek calculus with an exchange modality
J Jiang, H Eades III, V de Paiva
arXiv preprint arXiv:1904.06847, 2019
62019
LFSC for SMT Proofs: Work in Progress.
A Stump, A Reynolds, C Tinelli, A Laugesen, H Eades III, C Oliver, ...
PxTP, 21-27, 2012
52012
The preliminary design of the Trellys core language
C Casinghino, HD Eades, G Kimmell, V Sjöberg, T Sheard, A Stump, ...
Talk and discussion session at PLPV, 2011
52011
The semantic analysis of advanced programming languages
HD Eades III
The University of Iowa, 2014
42014
On linear logic, functional programming, and attack trees
H Eades III, J Jiang, A Bryant
International Workshop on Graphical Models for Security, 71-89, 2018
32018
Multiple conclusion linear logic: cut elimination and more
H Eades III, V De Paiva
Journal of Logic and Computation 30 (1), 157-174, 2020
22020
Dualized simple type theory
H Eades III, A Stump, R McCleeary
arXiv preprint arXiv:1605.01083, 2016
22016
Hereditary Substitution for the\lambda\Delta-Calculus
H Eades, A Stump
arXiv preprint arXiv:1309.1256, 2013
22013
A Dependent Dependency Calculus
P Choudhury, H Eades, S Weirich
European Symposium on Programming, 403-430, 2022
12022
A graded dependent type system with a usage-aware semantics (extended version)
P Choudhury, H Eades III, RA Eisenberg, SC Weirich
arXiv preprint arXiv:2011.04070, 2020
12020
The graded Lambek calculus
AB Bryant, HD Eades
2020 Joint Workshop on Linearity & TLLA: The 6th Workshop on Linearity and …, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20