Guillaume Munch-Maccagnoni

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 2

Top Topics

Mathematical Framework

Lambda Calculus

Complex Systems

Resource Management

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Guillaume Munch-Maccagnoni
Resource Polymorphism. CoRR (2018)
Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni
A theory of effects and resources: adjunction models and polarised calculi. POPL (2016)
Guillaume Munch-Maccagnoni, Gabriel Scherer
Polarised Intermediate Representation of Lambda Calculus with Sums. LICS (2015)
Guillaume Munch-Maccagnoni
Formulae-as-types for an involutive negation. CSL-LICS (2014)
Guillaume Munch-Maccagnoni
Models of a Non-associative Composition. FoSSaCS (2014)
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
The Duality of Computation under Focus. IFIP TCS (2010)
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
The duality of computation under focus CoRR (2010)
Guillaume Munch-Maccagnoni
Focalisation and Classical Realisability. CSL (2009)