Paper Citation Record · LEDGER

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

As of 16 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:1908.05647.

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

pith.paper-citation-record.v1
1908.05647 v3

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:17:58.803881Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+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

18 of 18 outbound references displayed

verified exact3
verified fuzzy2
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch7

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3adc3a4b-fb9a-4654-b329-f3948bc0f14e · outbound

This paper cites In Proceedings of the 27th Interna- tional Conference on Parallel Architectures and Compilation Techniques (PACT ’18).

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming In Proceedings of the 27th Interna- tional Conference on Parallel Architectures and Compilation Techniques (PACT ’18)

Reference 5

Resolution: verified exact; doi, observed 2026-08-14T13:17:58.876552Z

Source-reported events for the cited work

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

Observation f7227c9a-4fc8-47d3-8e79-f6c7b245f310 · outbound

This paper cites https://doi.org/10.1145/3062341.3062380 J.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming https://doi.org/10.1145/3062341.3062380 J

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T13:17:58.790531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3496a0b-6c6c-4680-960d-2dfd6f5d0ae0 · outbound

This paper cites https://doi.org/10.1145/3133841.3133843 Stephen Weeks.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming https://doi.org/10.1145/3133841.3133843 Stephen Weeks

Reference 17

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:17:59.025828Z

Source-reported events for the cited work

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

Observation 6740993b-5781-4f48-856d-bff1190ce47e · outbound

This paper cites an unresolved cited work.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming Unresolved cited work

Reference 1960

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:17:59.405773Z

Source-reported events for the cited work

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

Observation 6734337e-5c0d-442f-9e61-998896c666d6 · outbound

This paper cites an unresolved cited work.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming Unresolved cited work

Reference 1963

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:17:59.102331Z

Source-reported events for the cited work

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

Observation b95e9bae-8fbe-41b6-bc27-32f7bac212a5 · outbound

This paper cites Com- mun.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming Com- mun

Reference 1977

Resolution: unresolved; no resolver link, observed 2026-08-14T13:17:58.732350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a861d7ac-b987-4584-b640-e92ebc03deff · outbound

This paper cites InProceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL ’85).

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming InProceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL ’85)

Reference 1985

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:17:59.270174Z

Source-reported events for the cited work

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

Observation 4c02497e-ffec-4a05-8f38-90a1f4025f91 · outbound

This paper cites an unresolved cited work.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming Unresolved cited work

Reference 1988

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:17:59.587139Z

Source-reported events for the cited work

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

Observation 1c2a4127-eb6a-42be-a50c-22e44f037442 · outbound

This paper cites In COLOG-88 (Tallinn, 1988).

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming In COLOG-88 (Tallinn, 1988)

Reference 1990

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:17:59.575389Z

Source-reported events for the cited work

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

Observation e80da61f-6a58-4b20-b973-40ea8117e6a5 · outbound

This paper cites In Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation (PLDI ’93).

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming In Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation (PLDI ’93)

Reference 1993

Resolution: unresolved; no resolver link, observed 2026-08-14T13:17:58.778165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a792a596-7625-4b1a-b2d3-a073c75fbd81 · outbound

This paper cites SIGPLAN Not.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming SIGPLAN Not

Reference 1994

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:17:59.548766Z

Source-reported events for the cited work

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

Observation 6f801056-1613-4db2-aca0-90f5bbddea59 · outbound

This paper cites InProceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’04).

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming InProceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’04)

Reference 2004

Resolution: unresolved; no resolver link, observed 2026-08-14T13:17:58.737300Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e18fbeb-915f-47f5-bfad-1b38900db305 · outbound

This paper cites In Proceedings of the 2006 Workshop on ML (ML ’06).

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming In Proceedings of the 2006 Workshop on ML (ML ’06)

Reference 2006

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:17:58.958548Z

Source-reported events for the cited work

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

Observation 823b8b23-439f-4ec6-aad9-734f869fa338 · outbound

This paper cites In Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology (HILT ’14).

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming In Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology (HILT ’14)

Reference 2014

Resolution: verified exact; doi, observed 2026-08-14T13:17:58.842144Z

Source-reported events for the cited work

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

Observation 0acca4ae-b1bc-416c-a3f3-92395cdb2ac7 · outbound

This paper cites In Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, 2015, Proceedings.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming In Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, 2015, Proceedings

Reference 2015

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:17:59.560813Z

Source-reported events for the cited work

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

Observation 968de20b-8e0e-4aca-8cd9-1309a7cd4890 · outbound

This paper cites https://doi.org/10.1007/978-3-319-40648-0_12 Cormac Flanagan, Amr Sabry, Bruce F.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming https://doi.org/10.1007/978-3-319-40648-0_12 Cormac Flanagan, Amr Sabry, Bruce F

Reference 2016

Resolution: verified exact; doi, observed 2026-08-14T13:17:58.855163Z

Source-reported events for the cited work

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

Observation fe10325e-849e-4382-a5ba-9622464132e9 · outbound

This paper cites an unresolved cited work.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming Unresolved cited work

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-14T13:17:58.769697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb407ff5-74b6-46f6-ab50-e31f7cf721d6 · outbound

This paper cites A promise checked is a promise kept: Inspection Testing.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming A promise checked is a promise kept: Inspection Testing

Reference 2018

Resolution: metadata mismatch; local_arxiv, observed 2026-08-14T13:17:59.420923Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.