Degrees of Separation: A Flexible Type System for Data Race Prevention

[PDF] arxiv.org

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking

S Jia, G Wei, S He, Y Tang, Y Bao, T Rompf - arXiv preprint arXiv …, 2024 - arxiv.org
Despite Rust's success in systems programming, its" shared XOR mutable" principle
significantly restricts how mutable values can be used, precluding many useful functional …
相关文章 所有 2 个版本