Mickaël Laurent

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Grammatical Inference

Occurrence Probability

Allocation Strategy

Top Venues

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
Polymorphic Type Inference for Dynamic Languages. Proc. ACM Program. Lang. 8 (POPL) (2024)
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
Polymorphic Type Inference for Dynamic Languages. CoRR (2023)
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen
Revisiting occurrence typing. Sci. Comput. Program. 217 (2022)
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze
On type-cases, union elimination, and occurrence typing. Proc. ACM Program. Lang. 6 (POPL) (2022)
Daniel Larraz, Mickaël Laurent, Cesare Tinelli
Merit and Blame Assignment with Kind 2. FMICS (2021)
Daniel Larraz, Mickaël Laurent, Cesare Tinelli
Merit and Blame Assignment with Kind 2. CoRR (2021)
Victor Lanvin, Mickaël Laurent, Kim Nguyen, Giuseppe Castagna
Revisiting Occurrence Typing. CoRR (2019)