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

POPL 2019Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track
ICFP 2019Author 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 2018Author of Explaining Type Errors within the Off the Beaten Track 2018-track