Not registered as user yet

Name:Denis Carnier
Affiliation:Vrije Universiteit Brussel

Contributions

ICFP 2022 Author of Program Logics for Mechanizing Typechecking within the Student Research Competition-track