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

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