Austral ​

Systems Language with Linear Types and Capabilities

Links ​

• What Austral Proves (2023) (HN)
• Introducing Austral: A Systems Language with Linear Types and Capabilities (HN)
• How Austral’s Linear Type Checker Works (2023)
• Design of the Austral Compiler
• A Look At Austral (Lobsters)
• How Capabilities Work in Austral (Lobsters)