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

by C Okasaki
Venue:IEEE Symposium on Foundations of Computer Science