pith. sign in

Title resolution pending

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

citation-role summary

background 1

citation-polarity summary

fields

cs.CG 1 cs.PL 1

years

2026 2

roles

background 1

polarities

background 1

representative citing papers

Persistent Amortised Analysis, Operationally

cs.PL · 2026-05-10 · accept · novelty 7.0

Credit-based amortized analysis is sound for persistent data structures when credits are stored only on thunks, and Okasaki's debit approach receives a formal operational semantics.

citing papers explorer

Showing 2 of 2 citing papers.

  • Charting the Diameter Computation Landscape on Intersection Graphs in the Plane cs.CG · 2026-05-11 · unverdicted · none · ref 124

    This work charts a nuanced complexity landscape for diameter computation on 2D intersection graphs, delivering new subquadratic algorithms for some object types and diameter values while proving hardness for others under fine-grained assumptions.

  • Persistent Amortised Analysis, Operationally cs.PL · 2026-05-10 · accept · none · ref 24

    Credit-based amortized analysis is sound for persistent data structures when credits are stored only on thunks, and Okasaki's debit approach receives a formal operational semantics.