Write a Blog >>
ICFP 2020
Thu 20 - 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

ICFP 2020-profile
View general profile