Austral: A systems language with linear types and capabilities https://borretti.me/article/introducing-austral
Fernando Borretti
Introducing Austral: A Systems Language with Linear Types and Capabilities
Introducing a new programming language.
