RustBelt: Logical Foundations for the Future of Safe Systems Programming (2019)https://www.janestreet.com/tech-talks/rustbelt/ by creata • 5 years ago 21 1 5 years agoJAjanestreet.com