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.
#tree-borrows on Hacker News
1 story tagged tree-borrows, newest first.