congard-2026-linear:
  type: chapter
  title: 'Linear Effects, Exceptions, and Resource Safety: A Curry-Howard Correspondence for Destructors'
  author:
  - Congard, Sidney
  - Munch-Maccagnoni, Guillaume
  - Douence, Rémi
  date: 2026
  page-range: 190-219
  url: http://dx.doi.org/10.1007/978-3-032-22720-1_8
  serial-number:
    doi: 10.1007/978-3-032-22720-1_8
    isbn: '9783032227201'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer Nature Switzerland