conf.researchr.org / Mickaël Laurent
Registered user since Tue 12 Dec 2023
Name:Mickaël Laurent
Country:Czechia
Affiliation:Charles University
Personal website: https://mlaurent.ovh
GitHub: https://github.com/E-Sh4rk
Research interests:dynamic programming languages, type systems
Contributions
2026
SPLASH
- Author of Revisiting Row Polymorphism for Set-Theoretic Types within the OOPSLA-track
- Author of A Typed Intermediate Representation for Dynamic Languages (TOPLAS) within the OOPSLA-track
- Author of Implementing Set-Theoretic Types within the OOPSLA-track
- Author of Type Inference for Functional and Imperative Dynamic Languages within the OOPSLA-track