POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Sat 29 Apr 2023

Name:Francesco Gavazzo
Affiliation:University of Pisa, Italy
Research interests:Programming Language Semantics (program equivalence and distance, computational effects and coeffects), Relational Reasoning (algebras and calculi of program relations), Induction and Coinduction


Show activities from other conferences

POPL 2024-profile
View general profile