Hacker News
- RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 2 comments
- RustBelt: securing the foundations of the Rust programming language https://dl.acm.org/citation.cfm?doid=3177123.3158154 105 comments
Lobsters
- RustBelt: Securing the Foundations of the Rust Programming Language https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 45 comments formalmethods , pdf , rust
- RustBelt: securing the foundations of the rust programming language https://dl.acm.org/citation.cfm?doid=3177123.3158154 9 comments rust
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.youtube.com/watch?amp%3Bt=23s&v=Cy9NUVaiYUg 4 comments rust
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 3 comments programming
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 17 comments rust
- (POPL video) RustBelt: Securing the Foundations of the Rust Programming Language.. https://www.youtube.com/watch?v=Cy9NUVaiYUg 6 comments rust
Lambda the Ultimate
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 0 comments Functional , Object-Functional , Type Theory