Guillaume Munch-Maccagnoni

Identifiers

• name variant Guillaume Munch-Maccagnoni 0.60 · backfill

Papers (3)

1. What is 'undone computer science'? cs.CY · 2026 · author #2
2. Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors cs.PL · 2025 · author #2
3. Resource Polymorphism cs.PL · 2018 · author #1

Mentions

• 2605.26084 #2 · arxiv_oai · confidence 0.70 Guillaume Munch-Maccagnoni

Frequent Coauthors

• Alberto Naibo 1 shared papers
• Chantal Enguehard 1 shared papers
• R\'emi Douence 1 shared papers
• Sidney Congard 1 shared papers