conf.researchr.org / Denis Carnier
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 |
Not registered as user yet
Contributions
| ICFP 2022 | Author of Program Logics for Mechanizing Typechecking within the Student Research Competition-track |