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

Registered user since Sat 29 Apr 2023

Name:Francesco Gavazzo
Country:Italy
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

Contributions

Show activities from other conferences

Using general profile