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