c/programming_languages · by jeff_hykin@lemmy.world · 1y(From ETH Zurich) Tree Borrows: Safety checking unsafe Rust, Tested on 30,000 Crates https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html6 points · 0 comments · view on lemmy.world
0 Comments
No comments yet.