Get started
Author

Mickaël Laurent

Observed names: Laurent, Mickael, Laurent, Mickaël
Observed institutions: École Normale Supérieure Paris-Saclay, University of Iowa, Centre National de la Recherche Scientifique, Université Paris Cité, Charles University, Sorbonne Université, Institut de Recherche en Informatique Fondamentale
ORCID: 0000-0003-1590-2392
Observed ORCID: 0000-0003-1590-2392
OpenAlex ID: A5006031542
On type-cases, union elimination, and occurrence typing
2022 · Giuseppe Castagna, Mickaël Laurent, et al. · Proceedings of the ACM on Programming Languages · 13
PDF
Polymorphic Type Inference for Dynamic Languages
2024 · Giuseppe Castagna, Mickaël Laurent, et al. · Proceedings of the ACM on Programming Languages · 10
PDF
Revisiting occurrence typing
2022 · Giuseppe Castagna, Victor Lanvin, et al. · Science of Computer Programming · 5
Beyond model checking of idealized Lustre in Kind 2
2023 · Daniel Larraz, Arjun Viswanathan, et al. · ACM SIGAda Ada Letters · 4
PDF
SSTT: Simple Set-Theoretic Types library
2026 · Mickaël Laurent, Kim Nguyễn · Zenodo (CERN European Organization for Nuclear Research) · 2
MLsem: Type-checker for Dynamic Languages
2026 · Mickaël Laurent · Zenodo (CERN European Organization for Nuclear Research) · 2
Implementing Set-Theoretic Types
2026 · Mickaël Laurent, Kim Nguyễn · Proceedings of the ACM on Programming Languages · 1
PDF
Artifact for the paper "Revisiting Row Polymorphism for Set-Theoretic Types"
2026 · Laurent, Mickaël, Donat-Bouillud, Pierre, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Type Inference for Functional and Imperative Dynamic Languages
2026 · Mickaël Laurent, Jan Vitek · Proceedings of the ACM on Programming Languages · 1
Prototype Typechecker for the Article 'On Type-Cases, Union Elimination, and Occurrence Typing'
2022 · Giuseppe Castagna, Mickaël Laurent, et al. · Artifact Digital Object Group · 1
Merit and Blame Assignment with Kind 2
2021 · Daniel Larraz, Mickaël Laurent, et al. · Lecture notes in computer science · 1
PDF
Revisiting Row Polymorphism for Set-Theoretic Types
2026 · Mickaël Laurent, Pierre Donat-Bouillud, et al. · Proceedings of the ACM on Programming Languages
Implementing Set-Theoretic Types (Software Artifact)
2026 · Laurent, Mickaël, Nguyen, Kim · Zenodo (CERN European Organization for Nuclear Research)
A Typed Intermediate Representation for Dynamic Languages
2026 · Mickaël Laurent, Jakob Hain, et al. · ACM Transactions on Programming Languages and Systems
Finding Shortest Walks in Kuru Kuru Kururin
2026 · Laurent, Mickaël, Mallem, Maher · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Polymorphic type inference for dynamic languages : reconstructing types for systems combining parametric, ad-hoc, and subtyping polymorphism
2024 · Mickaël Laurent
PDF
Method for Purifying a Pvc Comprising Heavy Metals
2024 · Laurent, Mickaël, Morel, Patrick, et al. · HAL
Type Inference of Polymorphic and Overloaded Functions Towards Static Typing of Dynamic Languages
2024 · Laurent, Mickaël · HAL
PDF
Tool Assisted Speedrun - GBA Kuru Kuru Kururin by mohoc & E-Sh4rk in 06:11.59
2019 · Mickaël Laurent, Maher Mallem · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
KururinTAS
2018 · Mickaël Laurent, Maher Mallem · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Generalization of counterexamples for inductive invariant synthesis
2018 · Laurent, Mickaël · HAL
Counterfactual causal analysis in the Kappa language
2017 · Laurent, Mickael · HAL
Works count: 26
Citation count: 44
H-index: 4
I10-index: 2
Year
Topic
Type