X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/4b7c76b9fed30481991a37901eb249420ba52e18..cb66ee474a74b2ddc92cd20473960a9cf4e68e44:/research/publications.html?ds=inline
diff --git a/research/publications.html b/research/publications.html
index 7a21039..a12d648 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -39,7 +39,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)]