1. The usability of ownership;crichton;Proceedings of Human Aspects of Types and Reasoning Assistants (HATRA ’20),2020
2. Visualization of lifetime constraints in Rust;dominik,2018
3. The usability of advanced type systems: Rust as a case study;ferdowsi,2022
4. Borrow visualizer for the Rust language service;faria,2019
5. Here we go again