{"as_of":"2026-08-07T23:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:96ce55d541f8e4d5d17674e461270eba76375c6195d3254c53c6d0c323693899","coverage":[{"denominator":3,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T17:42:54.022495Z","state":"measured"},{"denominator":3,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":3,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2603.23360/citation-record","integrity":"/paper/2603.23360/integrity","json":"/paper/2603.23360/citation-record.json","paper":"/paper/2603.23360"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:42:53.962544Z","title":"Microsoft","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.23360","last_updated":"2026-07-23T04:13:38Z","snapshot_observed_at":"2026-08-06T16:33:28.298204Z","submitted_at":"2026-03-24T15:57:08Z","title":"Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T17:42:53.962544Z"},"links":{"citing_paper":"/paper/2603.23360"},"observation_digest":"sha256:1e0c4d11920be83ea558b435023d0f54d607c07bd42efce484afb4e4305972e6","observation_id":"880138d3-0879-4b51-9b1e-77244d7123f7","resolution":{"observed_at":"2026-08-02T17:42:53.962544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:42:54.022495Z","title":"O’Reilly Media, Inc","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2603.23360","last_updated":"2026-07-23T04:13:38Z","snapshot_observed_at":"2026-08-06T16:33:28.298204Z","submitted_at":"2026-03-24T15:57:08Z","title":"Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T17:42:54.022495Z"},"links":{"citing_paper":"/paper/2603.23360"},"observation_digest":"sha256:dd55603799f874a749268cfd208f79cfd856fe6c1bf4243e597ddd0a381e2d39","observation_id":"65d1fd42-9a50-4582-8f8f-19bf97c3918a","resolution":{"observed_at":"2026-08-02T17:42:54.022495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:42:53.852841Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.23360","last_updated":"2026-07-23T04:13:38Z","snapshot_observed_at":"2026-08-06T16:33:28.298204Z","submitted_at":"2026-03-24T15:57:08Z","title":"Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types","version":2},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-02T17:42:53.852841Z"},"links":{"citing_paper":"/paper/2603.23360"},"observation_digest":"sha256:48b4109919b8513a4b58ae34bb19381c9bdc88fa2afe3c8834bb664a2992a876","observation_id":"d187b918-63e3-4eaf-bf08-da529375e7ed","resolution":{"observed_at":"2026-08-02T17:42:53.852841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2603.23360","last_updated":"2026-07-23T04:13:38Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-06T16:33:28.298204Z","submitted_at":"2026-03-24T15:57:08Z","title":"Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types"},"reference_resolution":{"displayed":3,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":3},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 3 of 3 outbound references and 0 inbound Pith citation observations for arXiv:2603.23360."}