Harley D. Eades III

Citée par

	Toutes	Depuis 2018
Citations	283	209
indice h	9	7
indice i10	8	6

20112012201320142015201620172018201920202021202220233 9 17 15 8 10 11 4 14 28 48 60 54

Accès public

Tout afficher

3 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Aaron StumpProfessor of Computer Science, The University of IowaAdresse e-mail validée de uiowa.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeAdresse e-mail validée de kent.ac.uk
Valeria de PaivaUniversity 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 FuDalhousie UniversityAdresse e-mail validée de dal.ca
Vilem-Benjamin LiepeltSchool of Computing, University of KentAdresse e-mail validée de kent.ac.uk
Philip WadlerUniversity of Edinburgh and IOHKAdresse 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

Type theory category theory programming languages verification logic


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	79	2019
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	31	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	31	2012
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	26	2021
Graded modal dependent type theory B Moon, H Eades III, D Orchard Programming Languages and Systems 12648, 462, 2021	23	2021
Hereditary substitution for stratified system f H Eades, A Stump International Workshop on Proof-Search in Type Theories, PSTT 10, 2010	15	2010
Unifying graded and parameterised monads D Orchard, P Wadler, H Eades III arXiv preprint arXiv:2001.10274, 2020	14	2020
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	9	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	5	2012
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
A Dependent Dependency Calculus P Choudhury, H Eades III, S Weirich European Symposium on Programming, 403-430, 2022	4	2022
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	4	2019
The semantic analysis of advanced programming languages HD Eades III The University of Iowa, 2014	4	2014
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
Dualized simple type theory H Eades III, A Stump, R McCleeary Logical Methods in Computer Science 12, 2017	2	2017
Hereditary Substitution for the\lambda\Delta-Calculus H Eades, A Stump arXiv preprint arXiv:1309.1256, 2013	2	2013
Type Theory and Applications H Eades URL: https://metatheorem. org/includes/pubs/comp. pdf, 2012	2	2012
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	1	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