Mickaël Laurent

According to our database, Mickaël Laurent authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Toward a Typed Intermediate Language for R (Extended Abstract).

Mickaël Laurent, Jakob Hain, Filip Krikava, Sebastián Krynski, Jan Vitek

Proceedings of the Companion Proceedings of the 9th International Conference on the Art, 2025

2024

Polymorphic Type Inference for Dynamic Languages.

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen

Proc. ACM Program. Lang., January, 2024

Polymorphic type inference for dynamic languages : reconstructing types for systems combining parametric, ad-hoc, and subtyping polymorphism. (Inférence de types polymorphes pour des langages dynamiques : reconstruction de types pour des systèmes combinant polymorphisme paramétrique, surcharge et sous-typage).

Mickaël Laurent

PhD thesis, 2024

2022

Revisiting occurrence typing.

Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen

Sci. Comput. Program., 2022

On type-cases, union elimination, and occurrence typing.

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze

Proc. ACM Program. Lang., 2022

2021

Merit and Blame Assignment with Kind 2.

Daniel Larraz, Mickaël Laurent, Cesare Tinelli

Proceedings of the Formal Methods for Industrial Critical Systems, 2021