X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/6ca4094307d01300533bce9b490db6d5741fc943..38d2cf20855dbace7c03f8763c3b56e3a9b35068:/research/publications.html?ds=sidebyside
diff --git a/research/publications.html b/research/publications.html
index 1e6887d..a3b8395 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -25,7 +25,7 @@ slug: Publications
Higher-Order Ghost State
Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer
In ICFP 2016: 21st ACM SIGPLAN International Conference on Functional Programming
- [paper] [project website (incl. appendix and Coq formalization)] [talk (YouTube)] [talk (slides)]
+ [paper] [project website (incl. appendix and Coq formalization)] [talk (YouTube)] [talk (slides)]