“A distinctive property of functional data structures is that they are always persistent—updating a functional data structure does not destroy the existing… — 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