Purely Functional Data Structures is a PDF book released By Carnegie Mellon University and written by Chris Okasaki. This book consists of functional programming, data structures, lazy evaluation, amortization, Eliminating Amortization, Lazy Rebuilding, Numerical Representations, Data-Structural Bootstrapping, Implicit Recursive Slowdown, etc
In this book author describe several techniques for designing functional data structures, and numerous original data structures based on these techniques,including multiple variations of lists, queues, double-ended queues, and heaps, many supporting more exotic features such as random access or efficient catenation.