diff options
| -rw-r--r-- | publications.json | 9 |
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"} ] }, |