conf.researchr.org / Larry Diehl

Registered user since Wed 24 Aug 2016

Name: Larry Diehl

Contributions

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