Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T19:49:13.750268Z
Paper Citation Record · LEDGER
Dependent-Type-Preserving Memory Allocation
As of 14 August 2026, this Paper Citation Record lists 6 of 6 outbound references and 0 inbound Pith citation observations for arXiv:2509.09059.
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-14T06:32:32.682623+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
6 of 6 outbound references displayed
- verified exact1
- verified fuzzy0
- unresolved5
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e7883c5b-ef82-4cec-99d8-19d31f1a9789 · outbound
This paper cites Appel, Greg Morrisett, Zoe Paraskevopoulou, Randy Pollack, Olivier Savary Bélanger, Matthieu Sozeau, and Matthew Weaver.
Dependent-Type-Preserving Memory Allocation Appel, Greg Morrisett, Zoe Paraskevopoulou, Randy Pollack, Olivier Savary Bélanger, Matthieu Sozeau, and Matthew Weaver
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T19:49:13.359674Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 690056a9-8ac6-4292-9c36-38dd9b804b48 · outbound
This paper cites an unresolved cited work.
Dependent-Type-Preserving Memory Allocation Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T19:49:13.418982Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf48c23f-a3b1-46a7-962d-4aac5e3cc3c8 · outbound
This paper cites Bowman and Amal Ahmed.
Dependent-Type-Preserving Memory Allocation Bowman and Amal Ahmed
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T19:49:13.497210Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8258fec7-5da9-4015-a2b3-225465c8e429 · outbound
This paper cites Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed.
Dependent-Type-Preserving Memory Allocation Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-04T19:53:42.416707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation d28b3db4-c32a-4df0-9781-5e96ee84fe84 · outbound
This paper cites an unresolved cited work.
Dependent-Type-Preserving Memory Allocation Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T19:49:13.646948Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c9e38af-9e9d-47a4-8788-4c4ec78243f1 · outbound
This paper cites an unresolved cited work.
Dependent-Type-Preserving Memory Allocation Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T19:49:13.750268Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.