Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches| verdagon.dev
A walkthrough of Austral's linearity checker algorithm.| Fernando Borretti
