Mickaël Laurent

Orcid: 0000-0003-1590-2392

According to our database¹, Mickaël Laurent authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Polymorphic Type Inference for Dynamic Languages.

[BibT_eX]

[DOI]

Giuseppe Castagna

Mickaël Laurent

Kim Nguyen

Proc. ACM Program. Lang., January, 2024

2022

Revisiting occurrence typing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2021

Merit and Blame Assignment with Kind 2.

[BibT_eX]

[DOI]

Daniel Larraz

Mickaël Laurent

Cesare Tinelli

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Mickaël Laurent

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...