Harley D. Eades III -

Registered user since Sun 23 Sep 2018

Name: Harley D. Eades III

Country: United States

Affiliation: Augusta University

Personal website: http://metatheorem.org/

Research interests: functional programming languages, dependent types, categorical logic, software verification, interactive theorem proving

Contributions

TyDe 2020	Author of Graded Modal Dependent Type Theory (Extended Abstract) within the TyDe 2020-track
POPL 2021	Author of A Graded Dependent Type System with a Usage-Aware Semantics within the POPL-track
POPL 2019	Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track
ICFP 2019	Author of Quantitative program reasoning with graded modal types within the Research Papers-track Author of Fine-grained program reasoning using linear and graded modal types within the Tutorials-track
Off the Beaten Track 2018	Author of Explaining Type Errors within the Off the Beaten Track 2018-track