Merit and Blame Assignment with Kind 2. - Daniel Larraz; Mickaël Laurent; Cesare Tinelli (FMICS, 2021)

On type-cases, union elimination, and occurrence typing. - Giuseppe Castagna; Mickaël Laurent; Kim Nguyen 001; Matthew Lutze (Proc. ACM Program. Lang., 2022)

Revisiting occurrence typing. - Giuseppe Castagna; Victor Lanvin; Mickaël Laurent; Kim Nguyen 001 (Sci. Comput. Program., 2022)

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 (2024)

Polymorphic Type Inference for Dynamic Languages. - Giuseppe Castagna; Mickaël Laurent; Kim Nguyen 001 (Proc. ACM Program. Lang., 2024)

Toward a Typed Intermediate Language for R (Extended Abstract). - Mickaël Laurent; Jakob Hain; Filip Krikava; Sebastián Krynski; Jan Vitek (Programming, 2025)