Not registered as user yet

Name:Mickaël Laurent
Country:France
Affiliation:Université de Paris

Contributions

POPL 2022 Author of On Type-Cases, Union Elimination, and Occurrence Typing within the POPL-track