Austral: A Systems Language with Linear Types and Capabilities (2022)borretti.me3 points·yinso··0 commentsOpen articleSaveView on HN