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