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

2024

SPLASH

Committee Member in Program Committee within the Onward! Papers-track

ML

2023

ML

Author of Resource polymorphism: proposal for integrating first-class resources into ML within the ML-track
Committee Member in Program Committee within the ML-track

2022

OCaml

Author of Efficient “out of heap” pointers for multicore OCaml within the OCaml 2022-track

ML

Author of Boxroot, fast movable GC roots for a better FFI within the ML-track

2021

OCaml

Author of Probabilistic resource limits, or: Programming with interrupts in OCaml within the OCaml 2021-track

2020

ML

Author of Towards better systems programming in OCaml with out-of-heap allocation (Informed Position) within the ML 2020-track

IWACO

Committee Member in Program Committee within the IWACO-track

2019

ICFP

Committee Member in External Review Committee within the Research Papers-track

ML

Author of Efficient Deconstruction with Typed Pointer Reversal within the ML 2019-track

2018

HOPE

Author of A preview of a tutorial on L (polarized μμ̃) within the HOPE 2018-track

2016

POPL

Author of A Theory of Effects and Resources: Adjunction Models and Polarised Calculi within the Research Papers-track