Concepedia

Harley Eades

HE

Statistics

Publications

5

Citations

173

H-Index

5

Active since

2012

Affiliations

Augusta University(Current)

University of Iowa

Portland State University

California University of Pennsylvania

University of Pennsylvania

Harley Eades is an author at Augusta University specializing in computer science, computing, and type systems.

Publications per year

2012–2021

5

Publications

5

Quantitative program reasoning with graded modal types

Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades · Proceedings of the ACM on Programming Languages · 2019 · 86 citations · Full text

Computing, Computer Science, Formal Methods +16

A graded dependent type system with a usage-aware semantics

Pritam Choudhury, Harley Eades, Richard A. Eisenberg et al. · Proceedings of the ACM on Programming Languages · 2021 · 33 citations · Full text

Computing, Computer Science, Formal Methods +14

Equational reasoning about programs with general recursion and call-by-value semantics

Garrin Kimmell, Aaron Stump, Harley Eades et al. · 2012 · 25 citations · Full text

Computing, Computer Science, Formal Methods +13

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 17 citations · Full text

Computing, Computer Science, Formal Methods +12

Unifying graded and parameterised monads

Dominic Orchard, Philip Wadler, Harley Eades · Kent Academic Repository (University of Kent) · 2020 · 12 citations

Computing, Computer Science, Logic +13

1–5 of 5