Read news on systems language with our app.
Read more in the app
Austral: A Systems Language with Linear Types and Capabilities (2022)