ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
ICFP 2024 (series) / Francesco Gavazzo

Registered user since Sat 29 Apr 2023

Name:Francesco Gavazzo
Country:Italy
Affiliation:University of Pisa, Italy
Personal website: https://sites.google.com/view/francescogavazzo/home
X (Twitter): https://x.com/francescoGvz
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

ICFP 2024-profile
View general profile