2 papers
cs.PL2025
Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
Sidney Congard, Guillaume Munch-Maccagnoni, Rémi Douence
We analyse the problem of combining linearity, effects, and exceptions, in abstract models of programming languages, as the issue of providing some kind of strength for a monad $T(…
cs.AI2016
Global Constraint Catalog, Volume II, Time-Series Constraints
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence +5
First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition s…