R\'emi Douence

Identifiers

No identifiers captured yet.

Papers (2)

1. Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors cs.PL · 2025 · author #3
2. Global Constraint Catalog, Volume II, Time-Series Constraints cs.AI · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Ekaterina Arafailova 1 shared papers
• Guillaume Munch-Maccagnoni 1 shared papers
• Helmut Simonis 1 shared papers
• Justin Pearson 1 shared papers
• Mar\'ia Andre\'ina Francisco Rodr\'iguez 1 shared papers
• Mats Carlsson 1 shared papers
• Nicolas Beldiceanu 1 shared papers
• Pierre Flener 1 shared papers
• Sidney Congard 1 shared papers