•

Type Systems for Memory Safety

https://borretti.me/article/type-systems-memory-safety

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.