X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/3232c1850a731bfc430d26699493b7468befe242..04fb252e44356ce32328819b1a42df753b095190:/research/publications.html diff --git a/research/publications.html b/research/publications.html index 5b30140..71d6be5 100644 --- a/research/publications.html +++ b/research/publications.html @@ -8,7 +8,7 @@ slug: Publications

2018

@@ -17,7 +17,7 @@ slug: Publications MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer
In ICFP 2018: 23nd ACM SIGPLAN International Conference on Functional Programming
- [paper] [paper website (incl. appendix and Coq formalization)] + [paper] [paper website (incl. appendix and Coq formalization)]