Larry Diehl

Registered user since Mon 27 Aug 2018

Name: Larry Diehl

Country: United States

Affiliation: Symbiont

Personal website:

Research interests: Programming Languages, Formal Verification, Dependent Types, Generic Programming


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