Austral: A Systems Language with Linear Types and Capabilities (2022) (borretti.me) 3 points by yinso 2y ago ↗ HN
1 comment
[ 3.4 ms ] story [ 16.6 ms ] thread