ICFP 2020
Sun 23 - Fri 28 August 2020
Larry Diehl

Registered user since Mon 27 Aug 2018

Name: Larry Diehl

Country: United States

Affiliation: Symbiont

Personal website: http://www.larrytheliquid.com/

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

Contributions

TyDe 2020Committee Member in Program Committee within the TyDe 2020-track
Show activities from other conferences

Using general profile