GhostCell: Separating Permissions from Data in Rust
Paper DOI: 10.1145/3473597 preprint url: http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf more info: https://plv.mpi-sws.org/rustbelt/ghostcell/
Presented at None, part of ICFP 2021
By Joshua Yanovski…