“Amortization allows for occasional operations to have actual costs that exceed their amortized costs. Such operations are called expensive. Operations whose actual costs are less than their amortized costs are called cheap. Expensive operations decrease the accumulated savings and cheap… — Chris Okasaki Copy Share Image
“The notion of amortization arises from the following observation. Given a sequence of operations, we may wish to know the running time of the entire sequence, but not care about the running time of any individual operation. For instance, given… — Chris Okasaki Copy Share Image
“Amortization allows for occasional operations to have actual costs that exceed their amortized costs. Such operations are called expensive. Operations whose actual costs are… — Chris Okasaki Copy Share Image
“A distinctive property of functional data structures is that they are always persistent—updating a functional data structure does not destroy the existing version, but… — Chris Okasaki Copy Share Image
“The notion of amortization arises from the following observation. Given a sequence of operations, we may wish to know the running time of the… — Chris Okasaki Copy Share Image
“The methodological benefits of functional languages are well known [Bac78, Hug89, HJ94], but still the vast majority of programs are written in imperative languages… — Chris Okasaki Copy Share Image