@inbook{congard-2026-linear, title={Linear Effects, Exceptions, and Resource Safety: A Curry-Howard Correspondence for Destructors}, ISBN={9783032227201}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-032-22720-1_8}, DOI={10.1007/978-3-032-22720-1_8}, booktitle={Programming Languages and Systems}, publisher={Springer Nature Switzerland}, author={Congard, Sidney and Munch-Maccagnoni, Guillaume and Douence, Rémi}, year={2026}, pages={190–219} }