Tree Borrows(plf.inf.ethz.ch)
557 points by zdw | 141 comments
ETH Zürich Programming Language Foundations Lab page for the PLDI 2025 paper Tree Borrows, an aliasing model for Rust by Villani, Hostert, Dreyer, and Jung.
#unsafe-rust on Hacker News
1 story tagged unsafe-rust, newest first.