discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Patina: A Formalization of the Rust Programming Language
ftp://ftp.cs.washington.edu/tr/2015/03/uw-cse-15-03-02.pdf
26 comments
6/4/2015
rust
Linking pages
Formalizing Rust
https://www.ralfj.de/blog/2015/10/12/formalizing-rust.html
62 comments
This Week in Rust 76 · This Week in Rust
http://this-week-in-rust.org/blog/2015/04/06/this-week-in-rust-76/
3 comments