Amortization, lazy evaluation, and persistence: Lists with catenation via lazy linking (1995)

by C Okasaki
Venue:in: Foundations of Computer Science (FOCS