Pith. sign in

Paper Citation Record · LEDGER

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

As of 23 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-23T06:30:58.430688+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:2969995a0dd1886796e762cee8042f13d09110e991fc969ee571b18aac72671b

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:a106c543338f6d6ae7e5f1fa2185f761257bdef7d84b77c2c76839d38d9d9183

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:c362af9944568b8c733b352de69eeaf036e3133a8f53bd10941b3aac53a2b946

Pith citing papers

No inbound Pith citation observations are available.