X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/3a3968faa2d6c732f3c73254a96e21463fc37d89..a9d312ff7d92aa57e639a25f63bcac18eadc418d:/personal/_posts/2019-11-18-stacked-borrows-paper.md diff --git a/personal/_posts/2019-11-18-stacked-borrows-paper.md b/personal/_posts/2019-11-18-stacked-borrows-paper.md index 39ce8ea..49d7dc7 100644 --- a/personal/_posts/2019-11-18-stacked-borrows-paper.md +++ b/personal/_posts/2019-11-18-stacked-borrows-paper.md @@ -1,6 +1,7 @@ --- title: "Stacked Borrows: An Aliasing Model for Rust (the paper)" categories: research rust +reddit: /rust/comments/dy8avz/stacked_borrows_an_aliasing_model_for_rust_the/ --- I have [blogged]({% post_url 2019-05-21-stacked-borrows-2.1 %}) a [few]({% post_url 2019-04-30-stacked-borrows-2 %}) times before about [Stacked Borrows](https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md), my proposed aliasing model for Rust.