conf.researchr.org / Mickaël Laurent
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 |
Not registered as user yet
Contributions
| POPL 2022 | Author of On Type-Cases, Union Elimination, and Occurrence Typing within the POPL-track |