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