Merge #106

106: Add GhostCell paper r=ltratt a=jacob-hughes



Co-authored-by: Jake Hughes <[email protected]>

Author: bors[bot]

softdev.bib

@@ -3323,3 +3323,13 @@ @inproceedings{bacon04unified
   month=Oct,
   year={2004}
 }
+
+@article{yanovski21ghostcell,
+  title="{{GhostCell}: separating permissions from data in {Rust}}",
+  author={Yanovski, Joshua and Dang, Hoang-Hai and Jung, Ralf and Dreyer, Derek},
+  booktitle="ICFP",
+  volume={5},
+  pages={1--30},
+  year={2021},
+  month = Aug,
+}