Denis Carnier -

Registered user since Mon 19 Aug 2024

Name:Denis Carnier

Country:Belgium

Affiliation:KU Leuven

Contributions

2024

SPLASH

Author of Type Inference Logics within the OOPSLA 2024-track

2022

ICFP

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