Linear effects, exceptions, resources: Curry-Howard destructors correspondence arxiv.org 2 points by matt_d 9 hours ago