From: Ralf Jung Date: Sun, 19 Jun 2022 16:07:09 +0000 (-0700) Subject: more https X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/a3f9d0ed51ec4d4f74dc6f9b34a19d745b8ff6d6?ds=sidebyside;hp=375fc304fb5489ff54a1ab4a8b59783a8243005c more https --- diff --git a/research/publications.html b/research/publications.html index 45b6db0..7d85125 100644 --- a/research/publications.html +++ b/research/publications.html @@ -20,7 +20,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)]