Austral: A systems language with linear types and capabilities

Introducing Austral: A Systems Language with Linear Types and Capabilities.
Introducing a new programming language.

Read in full here:

This thread was posted by one of our members via one of our news source trackers.

Corresponding tweet for this thread:

Share link for this tweet.