- Oxide: The Essence of Rust (2020) https://arxiv.org/abs/1903.00982 13 comments
- Oxide: A Formal Semantics for Rust https://arxiv.org/abs/1903.00982 30 comments
- Oxide: The Essence of Rust — a research paper formalizing the ownership model & the borrow checker https://arxiv.org/abs/1903.00982 3 comments rust
- Oxide: A Formal Semantics for Rust https://arxiv.org/abs/1903.00982 41 comments rust
Would you like to stay up to date with Rust? Checkout Rust Weekly.