Leonidas Lampropoulos

Registered user since Thu 16 Mar 2017

Name:Leonidas Lampropoulos
Country:Greece
Affiliation:University of Maryland
Research interests:Programming Languages

Contributions

PLDI 2022 Computing Correctly with Inductive Relations
Show activities from other conferences

PLDI 2022-profile
View general profile