Registered user since Thu 16 Mar 2017

Name: Leonidas Lampropoulos

Country: Greece

Affiliation: University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~llamp/

Research interests: Programming Languages

ICFP 2017 Activities

• Author of Ode on a Random Urn (Functional Pearl) within the Haskell 2017-track in Haskell 2017
• Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track in Haskell 2017
• Show activities from other conferences