Not registered as user yet
Name:Francesco Gavazzo
Affiliation:University of Bologna & INRIA Sophia Antipolis
Contributions
| HOPE 2021 | Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile