Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees

https://www.reddit.com/r/ProgrammingLanguages/comments/1ojra7b/place_capability_graphs_a_generalpurpose_model_of/