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 :)

https://plv.mpi-sws.org/rustbelt/popl18/