Hacker News
- 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
Linking pages
- Wesley Aptekar-Cassels | Languages I want to write https://blog.wesleyac.com/posts/language-todos 202 comments
- The Fatal Flaw of Ownership Semantics - gingerBill https://www.gingerbill.org/article/2020/06/21/the-ownership-semantics-flaw/ 162 comments
- Rust: beyond the typechecker https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html 135 comments
- Rust: beyond the typechecker https://blog.merigoux.fr/en/2019/04/16/verifying-rust.html 33 comments
- How to combat JavaScript fatigue with Rust - DEV Community https://dev.to/gruberb/how-to-combat-javascript-fatigue-with-rust-2o5l 9 comments
- This Week in Rust 352 · This Week in Rust https://this-week-in-rust.org/blog/2020/08/18/this-week-in-rust-352/ 8 comments
- GitHub - aatxe/oxide: The essence of Rust. https://github.com/aatxe/oxide 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:arxiv.org
Search title: [1903.00982] Oxide: The Essence of Rust
See how to search.