Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:17:58.803881Z
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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.