Type Systems for Memory Safety

An article going over different ways to achieve memory safety through a programming language's type system.