Leonidas Lampropoulos

Sun 22 - Sat 28 August 2021

Registered user since Thu 16 Mar 2017

Name:Leonidas Lampropoulos

Country:Greece

Affiliation:University of Maryland, College Park

Research interests:Programming Languages

Contributions

ICFP 2021	Committee Member in Program Committee within the Research Papers-track Committee Member in Virtualization Committee Workshops Co-Chair in Organizing Committee Co-chair in Selection Committee within the Tutorials-track
OCaml 2021	Property-Based Testing for OCaml through Coq
Show activities from other conferences