X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/4d308ab4aaa7e0e84066c7948c0504a506d68c38..75140a3f3fdeebf375d736ff8b7a37fff49d5b08:/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)]