Guillaume Munch-Maccagnoni

According to our database, Guillaume Munch-Maccagnoni authored at least 8 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Resource Polymorphism.

Guillaume Munch-Maccagnoni

CoRR, 2018

2016

A theory of effects and resources: adjunction models and polarised calculi.

Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Polarised Intermediate Representation of Lambda Calculus with Sums.

Guillaume Munch-Maccagnoni, Gabriel Scherer

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Models of a Non-associative Composition.

Guillaume Munch-Maccagnoni

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Formulae-as-types for an involutive negation.

Guillaume Munch-Maccagnoni

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

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

PhD thesis, 2013

2010

The Duality of Computation under Focus.

Pierre-Louis Curien, Guillaume Munch-Maccagnoni

Proceedings of the Theoretical Computer Science, 2010

2009

Focalisation and Classical Realisability.

Guillaume Munch-Maccagnoni

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009