Higher RAII, and the Seven Arcane Uses of Linear Types Languages and Archit Programming LanguagesVale Programming Language 2 years ago