Linear Effects, Exceptions, and Resource Safety - A Curry-Howard Correspondence for Destructors.

Sidney Congard, Guillaume Munch-Maccagnoni, Rmi Douence

Browse the full ESOP paper archive.