Paper Citation Record · LEDGER

Persistent Amortised Analysis, Operationally

As of 6 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 2 inbound Pith citation observations for arXiv:2605.09411.

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

pith.paper-citation-record.v1
2605.09411 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-12T02:30:31.668162Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-13T06:35:40.030219Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-10T05:36:48.482210Z

Reference resolution

33 of 33 outbound references displayed

verified exact27
verified fuzzy4
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation dad08e13-c43a-4857-b705-0e60a2e11a97 · outbound

This paper cites 2004 , publisher =.

Persistent Amortised Analysis, Operationally 2004 , publisher =

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T22:36:54.868825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e404741a-821a-4c6f-9323-eaaf73e47330 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Persistent Amortised Analysis, Operationally Proceedings of the ACM on Programming Languages , volume =

Reference 2

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.896524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 6527653b-f7a0-405f-a6fc-1581990a84da · outbound

This paper cites Blelloch and John Greiner.

Persistent Amortised Analysis, Operationally Blelloch and John Greiner

Reference 3

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T02:31:15.894127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 42943bbf-df2a-405a-b28e-0f337a2936b1 · outbound

This paper cites 2008 , publisher =.

Persistent Amortised Analysis, Operationally 2008 , publisher =

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.850399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 35ba76cd-93fe-42c0-950b-9575a9bda98a · outbound

This paper cites [FL93] Joel Friedman and Nathan Linial.

Persistent Amortised Analysis, Operationally [FL93] Joel Friedman and Nathan Linial

Reference 5

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.872338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ed37806a-f437-420d-a2d4-da404d4e757e · outbound

This paper cites Journal of the ACM (JACM) , volume =.

Persistent Amortised Analysis, Operationally Journal of the ACM (JACM) , volume =

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.839609Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ce649c22-7ab8-4f5d-af50-35be729cfe5f · outbound

This paper cites International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) , year =.

Persistent Amortised Analysis, Operationally International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) , year =

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T22:36:54.851616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation aba101ef-9ad3-4d23-ac20-acc6c86d9e22 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Persistent Amortised Analysis, Operationally Proceedings of the ACM on Programming Languages , volume =

Reference 8

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.858055Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 79d84301-73d5-4e5d-90a0-61a9dbb08149 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Persistent Amortised Analysis, Operationally Proceedings of the ACM on Programming Languages , volume =

Reference 9

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.847147Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation d71b994a-3395-4252-bab6-034cc07b7bd5 · outbound

This paper cites Type-Based Cost Analysis for Lazy Functional Languages , ty =.

Persistent Amortised Analysis, Operationally Type-Based Cost Analysis for Lazy Functional Languages , ty =

Reference 10

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.853218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation aebc1d8d-7a10-43fb-8519-212797f46308 · outbound

This paper cites 2000 , publisher =.

Persistent Amortised Analysis, Operationally 2000 , publisher =

Reference 11

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.890801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8e4cac10-a89b-4014-ae94-40eb2f586ddb · outbound

This paper cites Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing , pages =.

Persistent Amortised Analysis, Operationally Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing , pages =

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.866546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 438877e5-c172-4f09-9b21-143f3b40288a · outbound

This paper cites Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , series =.

Persistent Amortised Analysis, Operationally Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , series =

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.843092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 39dc5681-a1c7-4cdd-82b0-52fee90236f9 · outbound

This paper cites Information and computation , volume =.

Persistent Amortised Analysis, Operationally Information and computation , volume =

Reference 14

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.855638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 4e3d8f7f-89a7-41d0-b8c8-196faec6db3a · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Persistent Amortised Analysis, Operationally Proceedings of the ACM on Programming Languages , volume =

Reference 15

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.845057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0acdabf9-e7de-4578-a42b-2849db2f359a · outbound

This paper cites Proceedings of the 18th ACM SIGPLAN International Haskell Symposium , year =.

Persistent Amortised Analysis, Operationally Proceedings of the 18th ACM SIGPLAN International Haskell Symposium , year =

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.870209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation aa4ca120-ed98-4335-99df-06c5859aa79d · outbound

This paper cites Proceedings of the ACM on Programming Languages , number =.

Persistent Amortised Analysis, Operationally Proceedings of the ACM on Programming Languages , number =

Reference 17

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.878392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 42156c3b-4e89-4df5-a135-b1eff3d93482 · outbound

This paper cites In: Proceedings of the 44th ACM SIGPLAN Sympo- sium on Principles of Programming Languages (POPL).

Persistent Amortised Analysis, Operationally In: Proceedings of the 44th ACM SIGPLAN Sympo- sium on Principles of Programming Languages (POPL)

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T02:31:15.887370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation decf488c-c981-47d9-a5b9-c910db6f944f · outbound

This paper cites an unresolved cited work.

Persistent Amortised Analysis, Operationally Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.901431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2ca55ff1-2982-4cc5-a992-d799362afc58 · outbound

This paper cites 1998 , publisher =.

Persistent Amortised Analysis, Operationally 1998 , publisher =

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T22:36:54.862900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 6d4a65ed-147f-44ab-b7b7-229aff4daf54 · outbound

This paper cites Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation , pages =.

Persistent Amortised Analysis, Operationally Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation , pages =

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.911687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 7ef3d9f0-2a70-4f32-9268-653df648c08c · outbound

This paper cites 2026 , month =.

Persistent Amortised Analysis, Operationally 2026 , month =

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T22:36:54.855621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 1ee46c57-b440-44af-8f78-4a38014c7556 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Persistent Amortised Analysis, Operationally Proceedings of the ACM on Programming Languages , volume =

Reference 23

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.883810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 6d95b3a4-aa40-48d2-90aa-2290da346825 · outbound

This paper cites 1986 , month = jul, journal =.

Persistent Amortised Analysis, Operationally 1986 , month = jul, journal =

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.881649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 7a47fbfe-e6c6-421e-bd57-fa64ce571c25 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Persistent Amortised Analysis, Operationally Proceedings of the ACM on Programming Languages , volume =

Reference 25

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.876294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c5ac4586-aff3-4563-b5a1-6c3257a1cb30 · outbound

This paper cites SIAM Journal on Algebraic Discrete Methods , volume =.

Persistent Amortised Analysis, Operationally SIAM Journal on Algebraic Discrete Methods , volume =

Reference 26

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.908722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation af771d76-2416-4d0d-85bd-72c0b3697833 · outbound

This paper cites Communications of the ACM , volume =.

Persistent Amortised Analysis, Operationally Communications of the ACM , volume =

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.899601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 79b132dd-8e07-4777-8f5c-09bb072e0119 · outbound

This paper cites an unresolved cited work.

Persistent Amortised Analysis, Operationally Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.913760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 81a608c7-16ff-41b9-bb73-0da072e2e59e · outbound

This paper cites Electronic Notes in Theoretical Informatics and Computer Science , volume =.

Persistent Amortised Analysis, Operationally Electronic Notes in Theoretical Informatics and Computer Science , volume =

Reference 29

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.874277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8aa24558-7aa3-49f8-9e5b-07888cf3aacb · outbound

This paper cites European Symposium on Programming , pages =.

Persistent Amortised Analysis, Operationally European Symposium on Programming , pages =

Reference 30

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.863202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 3ece243d-72bc-4be1-99aa-c7d87221a5a8 · outbound

This paper cites ACM Transactions on Programming Languages and Systems (TOPLAS) , volume =.

Persistent Amortised Analysis, Operationally ACM Transactions on Programming Languages and Systems (TOPLAS) , volume =

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.861150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b2fc2b44-4424-4136-bb67-f019da504682 · outbound

This paper cites Two decades of automatic amortized resource analysis.Math.

Persistent Amortised Analysis, Operationally Two decades of automatic amortized resource analysis.Math

Reference 32

Resolution: verified exact; doi, observed 2026-05-12T02:31:15.906640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 4a1a7db1-ffbd-4daf-8c83-3d245a9d6a38 · outbound

This paper cites Proceedings of the 17th ACM SIGPLAN international conference on Functional programming , pages =.

Persistent Amortised Analysis, Operationally Proceedings of the 17th ACM SIGPLAN international conference on Functional programming , pages =

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:31:15.904445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Pith citing papers

Observation 90ec2514-9770-4495-87f7-8c0fb31ac847 · inbound

Potential Functions as Types cites this paper.

Potential Functions as Types Persistent Amortised Analysis, Operationally

Reference 26

Resolution: metadata mismatch; local_arxiv, observed 2026-07-10T05:36:48.483528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation d6d08911-b9b4-44b7-9b65-734f92f64909 · inbound

Potential Functions as Types cites this paper.

Potential Functions as Types Persistent Amortised Analysis, Operationally

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.