Guillaume Munch-Maccagnoni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Linear Effects, Exceptions, and Resource Safety - A Curry-Howard Correspondence for Destructors. | Sidney Congard, Guillaume Munch-Maccagnoni, Rmi Douence |
| 2016 | POPL | A theory of effects and resources: adjunction models and polarised calculi. | Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni |
| 2015 | LICS | Polarised Intermediate Representation of Lambda Calculus with Sums. | Guillaume Munch-Maccagnoni, Gabriel Scherer |
| 2014 | CSL | Formulae-as-types for an involutive negation. | Guillaume Munch-Maccagnoni |
| 2014 | FOSSACS | Models of a Non-associative Composition. | Guillaume Munch-Maccagnoni |
| 2009 | CSL | Focalisation and Classical Realisability. | Guillaume Munch-Maccagnoni |