ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Not registered as user yet

Name:Denis Carnier
Affiliation:Vrije Universiteit Brussel

Contributions

ICFP 2022 Program Logics for Mechanizing Typechecking
Show activities from other conferences

Using general profile