B borretti.me Austral: A Systems Language with Linear Types and Capabilities (2022) 155 points rzk 1 year ago 35 comments
