Larry Diehl

Registered user since Mon 27 Aug 2018

Name:Larry Diehl
Country:United States
Affiliation:Symbiont
Research interests:Programming Languages, Formal Verification, Dependent Types, Generic Programming

Contributions

TyDe 2020 Committee Member in Program Committee within the TyDe 2020-track
ICFP 2018 Author of Generic Zero-Cost Reuse for Dependent Types within the Research Papers-track
TyDe 2016 Author of Generic Lookup and Update for Infinitary Inductive-Recursive Types within the TyDe-track