summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--publications.json9
1 files 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"}
]
},