X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/104231989cf5213bbb8f9a9362e7f1cad8bf4241..c5d8f98ceccd593a6491fcd62e127ea5c059eb16:/research/publications.html?ds=inline
diff --git a/research/publications.html b/research/publications.html
index 93d2a44..a12d648 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -1,5 +1,5 @@
---
-title: Thesis, Publications, Workshop Submissions
+title: Publications
slug: Publications
---
@@ -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)]