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