I read Okasaki's PhD thesis by the same name, which he expanded into the book. Very well written, concise, full of useful theoretical information. The book expa

I read Okasaki's PhD thesis by the same name, which he expanded into the book. Very well written, concise, full of useful theoretical information. The book expands into some data structures not covered in the thesis because the treatment would not have been original.