Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mickaël Laurent
conf.researchr.org general profile
POPL 2022 profile
POPL 2024 profile
‹Programming› 2025 profile
Registered user since Tue 12 Dec 2023
Name:
Mickaël Laurent
Country:
France
Affiliation:
Charles University
Personal website:
https://mlaurent.ovh
Contributions
2025
VIMPL
Author of Toward a Typed Intermediate Language for R within the VIMPL 2025-track
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
Sun 25 May 12:55
