Guillaume Munch-Maccagnoni -

Registered user since Sat 21 Nov 2015

Name:Guillaume Munch-Maccagnoni

Country:France

Affiliation:INRIA

Personal website:https://guillaume.munch.name/

GitHub:https://github.com/gadmm

Contributions

ML 2022	Author of Boxroot, fast movable GC roots for a better FFI within the ML-track
OCaml 2022	Author of Efficient “out of heap” pointers for multicore OCaml within the OCaml 2022-track
OCaml 2021	Author of Probabilistic resource limits, or: Programming with interrupts in OCaml within the OCaml 2021-track
ML 2020	Author of Towards better systems programming in OCaml with out-of-heap allocation (Informed Position) within the ML 2020-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