Pith. sign in

Paper Citation Record · LEDGER

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types

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.

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

pith.paper-citation-record.v1
2603.23360 v2

Coverage vector

measured 3 of 3 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T17:42:54.022495Z

measured 3 of 3 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

3 of 3 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved3
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 880138d3-0879-4b51-9b1e-77244d7123f7 · outbound

This paper cites Microsoft.

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types Microsoft

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-02T17:42:53.962544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-02T17:42:53.962544Z digest=sha256:1e0c4d11920be83ea558b435023d0f54d607c07bd42efce484afb4e4305972e6

Observation 65d1fd42-9a50-4582-8f8f-19bf97c3918a · outbound

This paper cites O’Reilly Media, Inc.

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types O’Reilly Media, Inc

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-02T17:42:54.022495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-02T17:42:54.022495Z digest=sha256:dd55603799f874a749268cfd208f79cfd856fe6c1bf4243e597ddd0a381e2d39

Observation d187b918-63e3-4eaf-bf08-da529375e7ed · outbound

This paper cites an unresolved cited work.

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types Unresolved cited work

Reference 2026

Resolution
unresolved
no resolver link, observed 2026-08-02T17:42:53.852841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-02T17:42:53.852841Z digest=sha256:48b4109919b8513a4b58ae34bb19381c9bdc88fa2afe3c8834bb664a2992a876

Pith citing papers

No inbound Pith citation observations are available.