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.
plf.inf.ethz.ch on Hacker News
1 story on the front page, newest first. Scroll down to watch the site change over time.