Type Systems for Memory Safety

A survey of type systems for memory safety.