@misc{indiciaed57c223bc140,
  title = {Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors},
  author = {Sidney Congard and Guillaume Munch-Maccagnoni and Rémi Douence},
  year = {2026},
  doi = {10.1007/978-3-032-22720-1\_8},
  url = {https://arxiv.org/abs/2510.23517},
  note = {Source identifier: 2510.23517}
}