GhostCell
Rustはaliasing (shared reference) XOR mutablilityの関係でdoubly-linked list等の実装がとても辛い。そこでGhoseCellという、データに対しての権限を複数持てるデータ構造の提案。Coq等で健全性の証明もされている。／GhostCell: Separating Permissions from Data in Rust http://plv.mpi-sws.org/rustbelt/ghostcell/ tweet