X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/b1c4213e3195e115c64e675254c35f8a13f90b5a..36dbb0a010867c7e6aee6b62fe5280a4ae14a331:/research/publications.html?ds=sidebyside 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)]