mtoohey.com
Vale
A Safe Exit Function with Linear Types
An idea about how linear types could prevent exit from stopping the program without performing required cleanup.