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