linear types

Austral: A Systems Language with Linear Types and Capabilities (2022)

Reference Counting with Linear Types

Higher RAII and the seven arcane uses of linear types