Fracture-and-gluing equips every Calf computation type with an abstraction-plus-potential homomorphism so programs conserve potential and preserve abstraction; credits/debits and Giralf enable banker's-view programming and AARA-style inference.
SIAM Journal on Algebraic Discrete Methods , volume =
3 Pith papers cite this work, alongside 525 external citations. Polarity classification is still indexing.
3
Pith papers citing it
525
external citations · OpenAlex
citation-role summary
background 1
citation-polarity summary
years
2026 3roles
background 1polarities
background 1representative citing papers
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.
Presents the Cascade Log, a reference-stable tiered append structure using a coalescing interval map for handles, with Θ(A) space, O(log A) point resolution, and sublinear cost on append-dominated histories where A is the fragmentation measure.
citing papers explorer
-
Potential Functions as Types
Fracture-and-gluing equips every Calf computation type with an abstraction-plus-potential homomorphism so programs conserve potential and preserve abstraction; credits/debits and Giralf enable banker's-view programming and AARA-style inference.
-
Persistent Amortised Analysis, Operationally
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.
-
The Cascade Log: Reference-Stable Windowing over Tiered Append Sequences
Presents the Cascade Log, a reference-stable tiered append structure using a coalescing interval map for handles, with Θ(A) space, O(log A) point resolution, and sublinear cost on append-dominated histories where A is the fragmentation measure.