discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Introducing Austral: A Systems Language with Linear Types and Capabilities
https://borretti.me/article/introducing-austral
20 comments
3/1/2023
plt
Reddit
Introducing Austral: A Systems Language with Linear Types and Capabilities
https://borretti.me/article/introducing-austral
11 comments
31/12/2022
programminglanguages