• Sign in
  • Sign up
conf.researchr.org / Harley D. Eades III
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2021 profile
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 2022 Co-chair in Organization Committee within the TyDe 2022-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
POPL 2021 Author of A Graded Dependent Type System with a Usage-Aware Semantics within the POPL-track
TyDe 2020 Author of Graded Modal Dependent Type Theory (Extended Abstract) within the TyDe 2020-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
POPL 2019 Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track
Off the Beaten Track 2018 Author of Explaining Type Errors within the Off the Beaten Track 2018-track

Share
xThu 30 Mar 20:29
using conf.researchr.org (v1.60.0)
Support page
Sign Up