verifying dynamic trait objects in rust (2022) - discu.eu

Hacker News

Verifying Dynamic Trait Objects in Rust (2022) https://dl.acm.org/doi/pdf/10.1145/3510457.3513031 7 comments 16/5/2023

Reddit

Verifying Dynamic Trait Objects in Rust https://cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf 5 comments 16/2/2022 rust