Swift Concurrency Type System: Formal Typing Rules for Swift 6.2 (Capability and Region)
Summary
Formal typing rules and presentation materials describe Swift 6.2's concurrency type system with a focus on Capability and Region. The repo provides slides, papers, and guides, along with references to related Swift Evolution proposals, making it a dense resource for advanced Swift developers and researchers.