Harley D. Eades III
where else to find them
what they talk about
where they keep going back
- TyDe2 editions2020–2023
on a stage with
- Benjamin Moononce
- Dominic Orchardonce
- Peter Hanukaevonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Combining Dependency, Grades, and Adjoint Logic | TyDe 2023 | 2023-09-04 |
Two new dependent type systems appear: a graded dependent/linear system that links graded usage annotations (from a semiring) to a linear fragment via modal… | ||
| A Graded Dependent Type System with a Usage-Aware Semantics | POPL 2021 | 2021-01-17 |
Presents Grad, a dependent type calculus with natural-number grades and separate demand contexts for terms and types, plus a heap-based reduction using graded… | ||
| Towards Graded Modal Dependent Types | TyDe 2020 | 2020-08-23 |
Graded Modal Dependent Type Theory (GrTT) defines dependent types indexed by a preordered semiring of grades to track resource use both at runtime and in… | ||
| nothing matches | ||