Austral: A Systems Language with Linear Types and Capabilities (2022)(borretti.me)
borretti.me
Austral: A Systems Language with Linear Types and Capabilities (2022)
https://borretti.me/article/introducing-austral
1 comments
[deleted]
https://borretti.me/article/introducing-austral