2 papers
cs.PL2026
Classifying Capabilities (Extended Version)
Cao Nguyen Pham, Oliver Bračevac, Yichen Xu +2
Capture checking in Scala 3 enables lightweight and practical effect and resource tracking by recording capabilities in types. However, the system offers no way to reason about kin…
cs.PL2026
System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version)
Yichen Xu, Oliver Bračevac, Cao Nguyen Pham +2
Substructural type systems give strong static control over aliasing. Examples include uniqueness, separation, and borrowing. How can such control be brought to established language…