X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/02efeba4f7cf3b78a46765a0a336d6d28bdbe6f2..21f1f1bc2e1bb9bd744a7e0c88bbd301fac57b94:/research/publications.html diff --git a/research/publications.html b/research/publications.html index 4a55303..015a87e 100644 --- a/research/publications.html +++ b/research/publications.html @@ -7,10 +7,17 @@ slug: Publications

2022

+ + @@ -20,7 +27,7 @@ slug: Publications GhostCell: Separating Permissions from Data in Rust
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, Derek Dreyer
In ICFP 2021
- [paper] [paper website (incl. Coq formalization)] + [paper] [paper website (incl. Coq formalization)]