X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/b1c4213e3195e115c64e675254c35f8a13f90b5a..d9f21fc4e713c0739bfb5c5c4113f988b81c57a4:/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)]