conf.researchr.org / Harley D. Eades III
Harley D. Eades III

Registered user since Fri 26 Feb 2021

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
ICFP 2021 Committee Member in Program Committee within the Research Papers-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