Oxide: The Essence of Rust – PaperGrep

https://papergrep.dev/paper/oxide-the-essence-of-rust-4eef24