Pith. sign in

Paper Citation Record · LEDGER

Functional Package Management with Guix

As of 23 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:1305.4584.

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

pith.paper-citation-record.v1
1305.4584 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 4 of 4 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:28:06.682672Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-06-28T19:52:35.989533Z

Reference resolution

0 of 0 outbound references displayed

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

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation ebabfefe-35ca-4e25-ad31-e62a1ee5ecd7 · inbound

Solving Package Management via Hypergraph Dependency Resolution cites this paper.

Solving Package Management via Hypergraph Dependency Resolution Functional Package Management with Guix

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-07T04:28:06.682672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T04:28:06.682672Z digest=sha256:22b1f6015963a0591d3131e24ca82c8cb38671b8ac7afb48df5b6095b7f3b0a2

Observation e9e4db48-2eb4-4765-b531-db64586e0a4a · inbound

Package Managers \`a la Carte: A Formal Model of Dependency Resolution cites this paper.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Functional Package Management with Guix

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-02T22:01:14.397724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-02T22:01:14.397724Z digest=sha256:1e1c76dd680788b9b812f3305a83f406a759d894d9ff405ba7d04a40a43cb974

Observation 4cfcadd6-8e01-4079-8619-d1c6918e8b0e · inbound

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction cites this paper.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Functional Package Management with Guix

Reference 6

Resolution
verified exact
local_arxiv, observed 2026-06-28T19:52:35.991070Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-06-28T18:46:04.989962Z digest=sha256:38fbc62a699a864e58256979ac7ccb0b8d101638a89f32e011c962a437e93498

Observation 937062aa-3d08-48a5-8e39-0f3c8a5159a5 · inbound

Nix to the Rescue for a Reproducible HPC-AI Software Stack cites this paper.

Nix to the Rescue for a Reproducible HPC-AI Software Stack Functional Package Management with Guix

Reference 3

Resolution
unresolved
no resolver link, observed 2026-07-30T23:58:18.340360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-30T23:58:18.340360Z digest=sha256:9305f7041eb90040a017d37056ece26fda6e1d737b43830490ce7dd2193debe0