Guillaume Munch-Maccagnoni is an Inria permanent researcher, in the Gallinette team.
Guillaume’s research focuses on the denotational semantics of effects and resources, at the intersection of proof theory, programming languages and category theory.
Guillaume received his Ph.D. from Université Paris Diderot, France.
Talk : Call-by-push-value, Friday Jan 10, 11:30 AM – 13:00 PM
Personal website : https://guillaume.munch.name/