متابعة
Harley D. Eades III
Harley D. Eades III
Assistant Professor of CS, Augusta University
بريد إلكتروني تم التحقق منه على augusta.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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
1082019
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
452021
Graded modal dependent type theory
B Moon, H Eades III, D Orchard
European Symposium on Programming, 462-490, 2021
412021
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
372012
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
352012
Unifying graded and parameterised monads
D Orchard, P Wadler, H Eades III
arXiv preprint arXiv:2001.10274, 2020
242020
Hereditary substitution for stratified system f
H Eades, A Stump
International Workshop on Proof-Search in Type Theories, PSTT 10, 2010
132010
Dialectica categories for the Lambek calculus
V de Paiva, H Eades III
International Symposium on Logical Foundations of Computer Science, 256-272, 2017
112017
A Dependent Dependency Calculus
P Choudhury, H Eades III, S Weirich
European Symposium on Programming, 403-430, 2022
102022
On the lambek calculus with an exchange modality
J Jiang, H Eades III, V de Paiva
arXiv preprint arXiv:1904.06847, 2019
72019
Multiple conclusion linear logic: Cut elimination and more
H Eades, V de Paiva
Logical Foundations of Computer Science: International Symposium, LFCS 2016 …, 2016
72016
LFSC for SMT Proofs: Work in Progress.
A Stump, A Reynolds, C Tinelli, A Laugesen, H Eades III, C Oliver, ...
PxTP, 21-27, 2012
62012
Combining dependency, grades, and adjoint logic
P Hanukaev, H Eades III
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023
52023
On linear logic, functional programming, and attack trees
H Eades III, J Jiang, A Bryant
Graphical Models for Security: 5th International Workshop, GraMSec 2018 …, 2019
52019
The semantic analysis of advanced programming languages
HD Eades III
The University of Iowa, 2014
42014
The preliminary design of the Trellys core language
C Casinghino, HD Eades III, G Kimmell, V Sjöberg, T Sheard, A Stump, ...
Talk and discussion session at PLPV, 2011
42011
A cointuitionistic adjoint logic
H Eades III, G Bellin
arXiv preprint arXiv:1708.05896, 2017
32017
A Mixed Linear and Graded Logic: Proofs, Terms, and Models
V Vollmer, D Marshall, H Eades III, D Orchard
arXiv preprint arXiv:2401.17199, 2024
22024
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
22020
Grading adjoint logic
H Eades III, D Orchard
arXiv preprint arXiv:2006.08854, 2020
22020
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20