Keyword:memory safety

Publications
A Rust-like Type System for Cooperative Threads Darine Rammal, Wadoud Bousdira and Frédéric Dabrowski EasyChair Preprint 8434