Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mickaël Laurent
conf.researchr.org general profile
POPL 2022 profile
POPL 2024 profile
Registered user since Tue 12 Dec 2023
Name:
Mickaël Laurent
Country:
France
Affiliation:
Charles University
Personal website:
https://mlaurent.ovh
Contributions
2024
POPL
Author of Polymorphic Type Inference for Dynamic Languages within the POPL-track
2022
POPL
Author of On Type-Cases, Union Elimination, and Occurrence Typing within the POPL-track
Share
x
Sat 21 Dec 19:52