Post #1708006

RE: https://mathstodon.xyz/@gadmm/115453050832728840 We've uploaded on arXiv the new version of our paper “Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors” (jww. Sidney Congard, and Rémi Douence). This version takes the feedback from the reviewers of ESOP into account, who we thank for helping us make the paper clearer. It is a slightly longer version with more details of the paper published at ESOP. https://arxiv.org/abs/2510.23517