Name:Larry Diehl

Country:United States

Affiliation:Symbiont

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