hnrss.org

Austral: A Systems Language with Linear Types and Capabilities (2022)

Article URL: https://borretti.me/article/introducing-austral Comments URL: https://news.ycombinator.com/item?id=43419928 Points: 31 # Comments: 3

Mar 20, 2025 - 08:12
 0
Austral: A Systems Language with Linear Types and Capabilities (2022)

Article URL: https://borretti.me/article/introducing-austral

Comments URL: https://news.ycombinator.com/item?id=43419928

Points: 31

# Comments: 3

Lire plus

Tags :

Article précédent

'More Than a Hint' That Dark Energy Isn't What Astronomers Thought

Article suivant

Le sport en entreprise : un levier stratégique pour l'avenir du travail

Articles similaires

The History of S.U.S..E

The History of S.U.S..E

Fév 14, 2025  0

The HP-35: Consumer Electronics, an Origin Story

The HP-35: Consumer Electronics, an Origin Story

Fév 25, 2025  0

US Judge invalidates blood glucose sensor patent, opens...

Fév 21, 2025  0