conf.researchr.org / Guillaume Munch-Maccagnoni
Guillaume Munch-Maccagnoni

Registered user since Sat 21 Nov 2015

Name:Guillaume Munch-Maccagnoni
Country:France
Affiliation:Inria
Personal website:https://guillaume.munch.name/

Contributions

OCaml 2021 Author of Probabilistic resource limits, or: Programming with interrupts in OCaml within the OCaml 2021-track
IWACO 2020 Committee Member in Program Committee within the IWACO-track
ML 2019 Author of Efficient Deconstruction with Typed Pointer Reversal within the ML 2019-track
HOPE 2018 Author of A preview of a tutorial on L (polarized μμ̃) within the HOPE 2018-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
POPL 2016 Author of A Theory of Effects and Resources: Adjunction Models and Polarised Calculi within the Research Papers-track