Lobsters
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety#ref1 5 comments plt
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety 16 comments programminglanguages
- Mozilla and the Rust community release Rust 0.1 (a strongly-typed systems programming language with a focus on memory safety and concurrency) https://mail.mozilla.org/pipermail/rust-dev/2012-january/001256.html 255 comments programming