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