Putting the Rust in Trust

After working at Data61 with the verification team, and many conversations with
Gerwin Klein, I have a good plan on how I think I want to achieve the goal of
Trustworthy Rust.

Similar

Rust for Haskell Programmers

While we focus on Haskell at MMH, it's also good to branch out to other languages every once and a while. If you're a diehard Haskell developer, Rust is one of the more interesting languages to try out when you broaden your horizons. Its syntax has a lot ... (more…)

Read more »