Vale ​

Links ​

• Zero-Cost Memory Safety with Vale Regions (2022)
• Implementing a New Memory Safety Approach (2022)
• What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (2023) (Lobsters) (HN)
• Vale's first prototype for immutable region borrowing (2023) (HN) (Lobsters)