diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2023-11-29 13:58:36 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2023-11-29 13:58:36 +0100 |
| commit | 24ad15269bf33852ff8e968c991c140264afd1cc (patch) | |
| tree | 339fcdbce7b9086120943273c25f71426fc2ecae | |
| parent | 95c16675ff916eb8033775414bce3a2122252a88 (diff) | |
publications: Upgrade efficient chad to popl
| -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"} ] }, |