Hacker Next
Austral: A Systems Language with Linear Types and Capabilities (2022)borretti.me
155 points by yamrzou 14 days ago | 35 comments