From 24ad15269bf33852ff8e968c991c140264afd1cc Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Wed, 29 Nov 2023 13:58:36 +0100
Subject: publications: Upgrade efficient chad to popl

---
 publications.json | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/publications.json b/publications.json
index 763a93c..3f1cc2c 100644
--- a/publications.json
+++ b/publications.json
@@ -5,13 +5,14 @@
   },
   "pubs": [
     {
-      "year": 2023,
-      "month": 7,
+      "year": 2024,
+      "month": 1,
       "authors": ["tom", "matthijs"],
       "title": "Efficient CHAD",
-      "preprint": true,
+      "conference": "POPL 2024",
       "links": [
-        {"type": "arxiv", "id": "2307.05738"},
+        {"type": "arxiv", "id": "2307.05738", "note": "with appendices"},
+        {"type": "doi", "id": "10.1145/3632878"},
         {"type": "code", "url": "https://github.com/tomsmeding/efficient-chad-agda"}
       ]
     },
-- 
cgit v1.2.3-70-g09d2