1736.

Introducing Austral: A Systems Language with Linear Types and Capabilities

borretti.me/article/introducing-austral

Introducing a new programming language.

imported,linear_types,programming_language,public_bookmarks