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