• Sign in
  • Sign up
conf.researchr.org / Mickaël Laurent
  • POPL 2022 profile
  • POPL 2024 profile
  • ‹Programming› 2025 profile
No Photo

Registered user since Tue 12 Dec 2023

Name:Mickaël Laurent
Country:France
Affiliation:Charles University
Personal website: https://mlaurent.ovh

Contributions

2025

VIMPL

  • Author of Toward a Typed Intermediate Language for R within the VIMPL 2025-track

2024

POPL

  • Author of Polymorphic Type Inference for Dynamic Languages within the POPL-track

2022

POPL

  • Author of On Type-Cases, Union Elimination, and Occurrence Typing within the POPL-track
Share
xSun 25 May 12:55
using conf.researchr.org (v1.69.0)
Support page
Sign Up