{"as_of":"2026-08-24T02:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4159808415e7c5a8af1aaf4ed9bad8236f4ef89580490b31095d6b4519a16a44","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-23T06:30:58.430688+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-10T23:56:57.688995Z","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:2969995a0dd1886796e762cee8042f13d09110e991fc969ee571b18aac72671b","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-10T23:56:57.688995Z","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:a106c543338f6d6ae7e5f1fa2185f761257bdef7d84b77c2c76839d38d9d9183","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-10T23:56:57.688995Z","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:c362af9944568b8c733b352de69eeaf036e3133a8f53bd10941b3aac53a2b946","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-10T23:56:57.688995Z","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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 24 August 2026, this Paper Citation Record lists 3 of 3 outbound references and 0 inbound Pith citation observations for arXiv:2603.23360."}