Guaranteeing memory safety in Rust

[bearophile]

The PDF slides of a nice talk, "Guaranteeing memory safety in 
Rust" by Nicholas D. Matsakis:
http://smallcultfollowing.com/babysteps/pubs/2013.07.17-NEU.pdf
Its Reddit threads:
http://www.reddit.com/r/programming/comments/1imf4i/guaranteeing_memory_safety_in_rust_pdf_slides/

http://www.reddit.com/r/rust/comments/1imeac/guaranteeing_memory_safety_in_rust_niko_matsakis/

Bye,
bearophile