Summary: Purely Functional Data Structures
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy.
Peter Lee, Chair
Robert Tarjan, Princeton University
Copyright c 1996 Chris Okasaki
This research was sponsored by the Advanced Research Projects Agency (ARPA) under Contract No. F19628-
The views and conclusions contained in this document are those of the author and should not be interpreted as
representing the official policies, either expressed or implied, of ARPA or the U.S. Government.
Keywords: functional programming, data structures, lazy evaluation, amortization