X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/590160ae5b131b52563422244f74946f04d6da37..b6cc5bfc0c026d395f232a3cb5a6fdc429c295e0:/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.