ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Leonidas Lampropoulos

Registered user since Thu 16 Mar 2017

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

Contributions

Haskell 2022 Liquid Proof Macros
ICFP 2022 Random Testing of a Higher-Order Blockchain Language
Show activities from other conferences

ICFP 2022-profile
View general profile