A Friendly Tour of Substructural, Uniqueness, Ownership, and Capabilities Types and more!
https://federicobruzzone.github.io/posts/eter/a-friendly-tour-of-substructural-uniqueness-ownership-and-capabilities-types-and-more.html
A friendly tour of the type-theoretic landscape behind memory safety by Federico Bruzzone