Guillaume Munch-Maccagnoni

14 papers A* 2B 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Classical Notions of Computation and the Hasegawa-Thielecke Theorem.
Proc. ACM Program. Lang.
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
2026 — conf
Linear Effects, Exceptions, and Resource Safety - A Curry-Howard Correspondence for Destructors.
ESOP (1)
Sidney Congard, Guillaume Munch-Maccagnoni, Rémi Douence
2026 J jnl
S4 modal sequent calculus as intermediate logic and intermediate language.
CoRR
Jean Caspar, Guillaume Munch-Maccagnoni
2025 J jnl
Classical notions of computation and the Hasegawa-Thielecke theorem.
CoRR
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
2025 J jnl
Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors.
CoRR
Sidney Congard, Guillaume Munch-Maccagnoni, Rémi Douence
2018 J jnl
Resource Polymorphism.
CoRR
Guillaume Munch-Maccagnoni
2016 A* conf
A theory of effects and resources: adjunction models and polarised calculi.
POPL
Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni
2015 A* conf
Polarised Intermediate Representation of Lambda Calculus with Sums.
LICS
Guillaume Munch-Maccagnoni, Gabriel Scherer
2014 — conf
Formulae-as-types for an involutive negation.
CSL-LICS
Guillaume Munch-Maccagnoni
2014 B conf
Models of a Non-associative Composition.
FoSSaCS
Guillaume Munch-Maccagnoni
2013 — —
Syntax and Models of a non-Associative Composition of Programs and Proofs. (Syntaxe et modèles d'une composition non-associative des programmes et des preuves).
Guillaume Munch-Maccagnoni
2010 — conf
The Duality of Computation under Focus.
IFIP TCS
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
2010 J jnl
The duality of computation under focus
CoRR
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
2009 B conf
Focalisation and Classical Realisability.
CSL
Guillaume Munch-Maccagnoni