Harley D. Eades III

Citée par

	Toutes	Depuis 2020
Citations	385	294
indice h	9	6
indice i10	9	6

2011201220132014201520162017201820192020202120222023202420253 9 15 17 8 10 11 4 14 29 46 57 74 74 13

Accès public

Tout afficher

5 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeAdresse e-mail validée de bc.edu
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeAdresse e-mail validée de kent.ac.uk
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Valeria de PaivaTopos Institute, University of BirminghamAdresse e-mail validée de topos.institute
Vilhelm SjöbergYale UniversityAdresse e-mail validée de yale.edu
Ki Yung AhnAssistant Professor of Computer Engineering at Hannam University, Daejeon, KoreaAdresse e-mail validée de hnu.kr
Tim SheardIOHK and Professor Emeritus Portland State UniversityAdresse e-mail validée de pdx.edu
Peng FuUniversity of South CarolinaAdresse e-mail validée de cse.sc.edu
Vilem-Benjamin LiepeltSchool of Computing, University of KentAdresse e-mail validée de kent.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresse e-mail validée de inf.ed.ac.uk
Cesare TinelliProfessor of Computer Science, The University of IowaAdresse e-mail validée de uiowa.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesAdresse e-mail validée de uiowa.edu
Brent YorgeyHendrix CollegeAdresse e-mail validée de hendrix.edu

Suivre

Harley D. Eades III

Assistant Professor of CS, Augusta University

Adresse e-mail validée de augusta.edu - Page d'accueil

HCI Accessibility eCoaching Type theory programming languages


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	110	2019
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	47	2021
Graded modal dependent type theory B Moon, H Eades III, D Orchard European Symposium on Programming, 462-490, 2021	40	2021
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	35	2012
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	34	2012
Unifying graded and parameterised monads D Orchard, P Wadler, H Eades III arXiv preprint arXiv:2001.10274, 2020	23	2020
Hereditary substitution for stratified system f H Eades, A Stump International Workshop on Proof-Search in Type Theories, PSTT 10, 2010	13	2010
A Dependent Dependency Calculus P Choudhury, H Eades III, S Weirich European Symposium on Programming, 403-430, 2022	10	2022
Dialectica categories for the Lambek calculus V de Paiva, H Eades III International Symposium on Logical Foundations of Computer Science, 256-272, 2017	10	2017
On the lambek calculus with an exchange modality J Jiang, H Eades III, V de Paiva arXiv preprint arXiv:1904.06847, 2019	7	2019
Multiple conclusion linear logic: Cut elimination and more H Eades, V de Paiva Logical Foundations of Computer Science: International Symposium, LFCS 2016 …, 2016	7	2016
LFSC for SMT Proofs: Work in Progress. A Stump, A Reynolds, C Tinelli, A Laugesen, H Eades III, C Oliver, ... PxTP, 21-27, 2012	6	2012
Combining dependency, grades, and adjoint logic P Hanukaev, H Eades III Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023	5	2023
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	5	2019
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	5	2011
The semantic analysis of advanced programming languages HD Eades III The University of Iowa, 2014	4	2014
A cointuitionistic adjoint logic H Eades III, G Bellin arXiv preprint arXiv:1708.05896, 2017	3	2017
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	2	2020
Grading Adjoint Logic H Eades III, D Orchard arXiv preprint arXiv:2006.08854, 2020	2	2020
Multiple conclusion linear logic: cut elimination and more H Eades III, V De Paiva Journal of Logic and Computation 30 (1), 157-174, 2020	2	2020

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs