Ammonia 1.0.0 final Dev diary. Tips for working with C from Rust

RustBelt: Securing the Foundations of the Rust Programming Language [final version]

The final version of the RustBelt paper is ready. It is 4 pages longer than the submitted one we shared earlier this year, containing much more details about the type system :)