6 citations
- Nantes UniversitéFR10 papers
- Le Mans UniversitéFR4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Laboratoire Informatique d'AvignonFR3 papers
- Université Nantes Angers Le MansFR3 papers
- Acoustics Research InstituteAT1 paper
- Austrian Academy of SciencesAT1 paper
- École Centrale de NantesFR1 paper
- IMT AtlantiqueFR1 paper
- Indian Institute of Management AhmedabadIN1 paper
- Institut du ThoraxFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
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.PL2025★ 1 cited
AdapTT: Functoriality for Dependent Type Casts
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin +1
The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradua…