Dr. David J. Pearce
Blog
Projects
Publications
Talks
Home
rust
2021-04-01 | A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust
