A survey of type systems for memory safety.

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