Guillaume Munch-Maccagnoni
gadmm@mathstodon.xyz
<p>Researcher with the Gallinette team at INRIA in Nantes. Interested in various scientific aspects of computing and reasoning, particularly those related to the Curry-Howard correspondence. I like lindy-hop dancing, running, and riding my e-bicycle.</p><p>Semi-professional account:<br />- professional opinion: posts on the topic of CS/maths unless stated otherwise<br />- personal (though mostly about science): boosts (≠endorsement), memes, non-public posts, posts outside of CS/maths (rare)</p><p>EN/FR</p>
Posts
-
Post #2049502
I wish I was present at the @ETAPSconf business meeting, unfortunately I could not attend the conference. On the subject of licensing differences between LNCS and LipiCS, it was reported to me that the LipiCS representative affirmed that there was “no formal difference” with Springer. Could someone who was there clarify what was said? The claim is very surprising, given that the contract I signed with Springer for ESOP demanded exclusive rights that allow relicensing (i.e. Springer has all rig...
-
Post #1708006
RE: https://mathstodon.xyz/@gadmm/115453050832728840 We&#39;ve uploaded on arXiv the new version of our paper “Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors” (jww. Sidney Congard, and Rémi Douence). This version takes the feedback from the reviewers of ESOP into account, who we thank for helping us make the paper clearer. It is a slightly longer version with more details of the paper published at ESOP. https://arxiv.org/abs/2510.23517
-
Post #1556644
The continuations debate in programming languages can be summarised as follows: one camp debates whether we should use CPS or not for compilation. The other camp believes that the recurrence of the concept of continuation in many places in computer science and logic is revealing a fundamental structure of computation; syntax is not arbitrary, good syntactic artifacts let us get a glimpse of and benefit from this structure underneath. In the paper &quot;Compiling with continuations, or witho...