• Sign in
  • Sign up
conf.researchr.org / Harley D. Eades III
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP/SPLASH 2025 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

2025

ICFP

  • Committee Member in ICFP Programme Committee within the ICFP Papers-track

2023

TyDe

  • Author of Combining Dependency, Grades, and Adjoint Logic within the TyDe 2023-track

2022

TyDe

  • Co-chair in Organization Committee within the TyDe 2022-track

2021

ICFP

  • Committee Member in Program Committee within the Research Papers-track

POPL

  • Author of A Graded Dependent Type System with a Usage-Aware Semantics within the POPL-track

2020

TyDe

  • Author of Graded Modal Dependent Type Theory (Extended Abstract) within the TyDe 2020-track

2019

ICFP

  • 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

  • Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track

2018

Off the Beaten Track

  • Author of Explaining Type Errors within the Off the Beaten Track 2018-track
Share
xSat 21 Jun 19:52
using conf.researchr.org (v1.69.0)
Support page
Sign Up