From: Ralf Jung Date: Tue, 11 Oct 2016 16:46:14 +0000 (+0200) Subject: we dont actually have an appendix for the refinement paper X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/eb7f1599a259a8798e929134c5bea7e2354cc404?ds=inline we dont actually have an appendix for the refinement paper --- diff --git a/research/publications.html b/research/publications.html index 53de065..6ac54fa 100644 --- a/research/publications.html +++ b/research/publications.html @@ -9,7 +9,7 @@ slug: Publications A Higher-Order Logic for Concurrent Termination-Preserving Refinement
Joseph Tassarotti, Ralf Jung, Robert Harper
Draft under submission
- [paper] [paper website (incl. appendix and Coq formalization)] + [paper] [paper website (incl. Coq formalization)]