“Amortization allows for occasional operations to have actual costs that exceed their amortized costs. Such operations are called expensive. Operations whose actual… — 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… — Chris Okasaki Data structures 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… — Chris Okasaki Time 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… — Chris Okasaki Well known Copy Share Image
