ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Nikolaos Papaspyrou

Registered user since Thu 27 Feb 2020

Name:Nikolaos Papaspyrou
Country:Greece
Affiliation:National Technical University of Athens
Research interests:Programming Languages

Contributions

Haskell 2022 Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Show activities from other conferences

ICFP 2022-profile
View general profile