The role of lazy evaluation in amortized data structures (1996)

by Chris Okasaki
Venue:Pages 62--72 of: ACM SIGPLAN International Conference on Functional Programming