A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf]

No comments yet.