Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T04:58:28.478789Z
Paper Citation Record · LEDGER
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
As of 23 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:1909.02481.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
54 of 54 outbound references displayed
- verified exact5
- verified fuzzy2
- unresolved46
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d01aafde-a504-465f-a43c-9b77164a7022 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:31.103924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5959d874-be94-4d31-8d53-700caa83b59a · outbound
This paper cites scikit-learn: Standardization, or mean removal and variance scaling.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy scikit-learn: Standardization, or mean removal and variance scaling
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T04:58:31.090145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d5951086-af71-4d49-984e-cd1dee49d927 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:31.076176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fef65fe5-9650-413d-a2e8-cef92afbfa96 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:31.061326Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation aa51366b-4107-4a96-80b1-42eb145a1a90 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:31.047513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 8b876672-fd69-4a50-a432-fbe30da2d804 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:27.208169Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 93796764-8ca0-4c44-9e10-c364fea691af · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:31.033310Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 418692a7-42ee-44c7-b428-374ab38e4cfe · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.942790Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5034ab72-4ab2-4c80-a78d-3ae4ebf5ffde · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.787728Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a17e0c9f-9b65-4952-9d20-8d85b3cc2d18 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.774231Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 642a977f-bbac-4d85-9961-b55499c9e6b2 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.759774Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4e311cb3-8c84-4322-934d-6315170b09ee · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.745161Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b0bddbbc-f06c-4fd8-9e98-7d154a8e9315 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.729264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 17d3790b-6b37-4177-b5b2-56d79db550fd · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.675446Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation eb043c88-4cc5-4053-a737-49b5c0875a08 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.592660Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d650734a-994c-4d18-905d-f48e621320fb · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.577486Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1e7695bf-348a-4e2e-830c-4b2cbfddc6cf · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.562593Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 95b1b80d-12b9-499b-8be1-4a5df1df30b3 · outbound
This paper cites Bidirectional Type Checking for Relational Properties.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Bidirectional Type Checking for Relational Properties
Reference 19
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T04:58:29.301315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e3ec9737-f094-45c3-8fd5-06ac70df16aa · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.547750Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9e274b7e-6735-4cf9-bd8b-e90f6592abfa · outbound
This paper cites Probabilistic Relational Reasoning via Metrics.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Probabilistic Relational Reasoning via Metrics
Reference 21
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T04:58:29.262015Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 3989b5fb-f9f1-4fa3-9003-ca5b1516c5ec · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:27.718851Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8254134d-7ae9-4460-b1ec-2d3112ca6db3 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.532733Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ad8f5804-e19c-49e2-a3e9-eab6fcc19e3a · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.516903Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 205d9718-3909-4b55-9ac6-a671e2a4e955 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:27.732027Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c8183023-a197-4509-a5d0-b603e8c7ccab · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.406357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation c4f36a7f-27ef-4447-bb31-a0dd34a9276d · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:27.741270Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 242b53bd-63f6-4b10-bd47-9da83f099dbf · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.393104Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 170f2998-d7d4-4357-b29e-5a46912cc681 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.379383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 539dfec8-1443-48d6-b401-71215dc293aa · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 30
- Resolution
- verified exact
- doi, observed 2026-08-14T04:58:28.538536Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation eb9e2d89-eb1d-4e4a-ab08-df4047a4f586 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.365290Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 96acadc6-39c8-46ab-8771-5ce102f0197c · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.350618Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 97f39460-68f4-493d-8878-193274c696da · outbound
This paper cites Towards Practical Differential Privacy for SQL Queries.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Towards Practical Differential Privacy for SQL Queries
Reference 33
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T04:58:29.123674Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 146a57e5-fab8-4cfc-8b41-899d90e5e6e4 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.288772Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation efe0911e-ed74-4a47-8b58-229487d1b437 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.148094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 312e4f89-4f3a-44f6-a3c3-a4feea107b41 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.133541Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1abf414d-b5cc-44dd-97d4-d644df64c712 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:30.120200Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9885e3d8-04b1-4304-87fd-8c319f155d34 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.991192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d443e5cd-0525-4724-bae9-4e763ca8c4cd · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:28.069880Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c541de3b-f74e-438a-ba25-2369430fa52b · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.900888Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation cc43bf1c-856f-4496-874d-3da5444be128 · outbound
This paper cites Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:28.080009Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 49c88bd9-d05d-4eaf-b005-0fb57f24525f · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.885252Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation c6a62452-9952-4ef0-9d7e-f859e150f0f5 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.869063Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b330e5e3-8ec8-4030-850c-7706edcb3045 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.796752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fe0537b5-5707-4342-ac7b-afa68e552344 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.710175Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 65b57e4e-0fbc-4db9-ae1f-5a04083c8e8a · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.695454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0e140491-238e-480e-abef-7f982048e6bd · outbound
This paper cites Shokri and V.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Shokri and V
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:28.197403Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ce447ef-f8e3-4e9b-a62c-c021b587d462 · outbound
This paper cites Shokri, M.
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:28.314692Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 362510fb-698d-415d-be04-a7b0f3018c5c · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.648274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e2c64879-420c-4623-9229-b4ef237b0664 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.484601Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f4e8e486-05fb-4258-b3ce-ce4b4d27e7c7 · outbound
This paper cites Subsampled R\'enyi Differential Privacy and Analytical Moments Accountant.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Subsampled R\'enyi Differential Privacy and Analytical Moments Accountant
Reference 52
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T04:58:28.829289Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 77fc537c-59ac-4d1a-b8d6-4ce87582827a · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T04:58:28.466593Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 48874241-d135-4c76-b6cf-6acb644f7506 · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 54
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-14T04:58:28.471149Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 60fc69ba-3f52-411d-b25e-ac34e9d66e0d · outbound
This paper cites an unresolved cited work.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T04:58:29.470597Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fbeefd1a-6227-44ac-9f83-7bbef02c83ca · outbound
This paper cites Pierce, and Aaron Roth.
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Pierce, and Aaron Roth
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T04:58:29.388464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
No inbound Pith citation observations are available.