Paper Citation Record · LEDGER

Towards Gradual Checking of Reference Capabilities

As of 15 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:1909.01465.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1909.01465 v2

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:24:03.854567Z

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

21 of 21 outbound references displayed

verified exact6
verified fuzzy2
unresolved10
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b4c96e6b-4fbb-454b-8e75-7a1899122df4 · outbound

This paper cites Transferable Interface.

Towards Gradual Checking of Reference Capabilities Transferable Interface

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:24:04.479209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b2347541-ae9e-416c-bb46-97750bc5b28b · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-14T05:24:03.991910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 68f82f7c-afdb-476c-a9df-e1fc9ab1e520 · outbound

This paper cites Newton, Simon Peyton Jones, and Arnaud Spiwack.

Towards Gradual Checking of Reference Capabilities Newton, Simon Peyton Jones, and Arnaud Spiwack

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-14T05:24:03.768155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 688e81ca-e668-4d10-b7af-896a5e3a3c54 · outbound

This paper cites Black, Kim B.

Towards Gradual Checking of Reference Capabilities Black, Kim B

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:24:04.462662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6bf56fa7-960c-4cb6-a45a-2e4d711009e7 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T05:24:03.783341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6bc57aa-adc8-4405-8ddf-83d04d52de29 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-14T05:24:04.447505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bcd0e329-4d29-4fda-9160-9798b0fb54e7 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-14T05:24:03.958487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 16e9ec04-a887-4b87-84e6-5b34dd17fc2d · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-14T05:24:03.943696Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d25866fd-6c02-4f1b-a822-38a43fc84766 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T05:24:03.802965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc3baea7-a064-4d44-ab30-2131e1d8f281 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-14T05:24:03.927635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 391f32cb-7475-4c13-beeb-a830106dc976 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-14T05:24:03.912228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6b1bb917-c2c1-4975-af88-ec527f56bf55 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T05:24:03.817229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58093b76-e17e-4458-b5ec-2abd84bc9ee6 · outbound

This paper cites Gordon, Matthew J.

Towards Gradual Checking of Reference Capabilities Gordon, Matthew J

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T05:24:03.822657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 741fe8f8-aba7-47f0-84f3-90bf21214b39 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:24:04.431375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3da7ce2e-9732-4e2e-a1f3-7a227e3b46a3 · outbound

This paper cites Peterson.

Towards Gradual Checking of Reference Capabilities Peterson

Reference 15

Resolution: malformed identifier; raw_fallback, observed 2026-08-14T05:24:04.415942Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 984e285b-80d7-434e-a01c-cca52e0fae1a · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:24:04.400379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 35d6797d-93f3-4eee-b44b-3d95fc16ff3b · outbound

This paper cites Siek and Walid Taha.

Towards Gradual Checking of Reference Capabilities Siek and Walid Taha

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T05:24:03.840545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8af18864-2776-48db-aea6-735bebab1560 · outbound

This paper cites Siek, Michael M.

Towards Gradual Checking of Reference Capabilities Siek, Michael M

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T05:24:03.845378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 174bd3c7-70fa-4e47-b5ac-1f9efc342dd6 · outbound

This paper cites an unresolved cited work.

Towards Gradual Checking of Reference Capabilities Unresolved cited work

Reference 19

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T05:24:04.132519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6860bd0a-0330-4080-8e9f-623b1f07d582 · outbound

This paper cites Wright and Matthias Felleisen.

Towards Gradual Checking of Reference Capabilities Wright and Matthias Felleisen

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T05:24:03.854567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3f1303e-489b-4f38-ae6d-2b3da01a8801 · outbound

This paper cites In ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH ’12, Tucson, AZ, USA, October 21-26, 2012 , Gary T.

Towards Gradual Checking of Reference Capabilities In ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH ’12, Tucson, AZ, USA, October 21-26, 2012 , Gary T

Reference 2012

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T05:24:04.385560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

No inbound Pith citation observations are available.