CORAL: a Rust-like Borrow Checker for C (via linkdd) — discussion

#c #plt #programming #rust