A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf] #1 Post by VitalyAnkh » Wed, Oct 20, 2021, 9:55 PM UTC A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf]whileydave.com