[PRL] Implementing sets efficiently in a functional language

[Richard C. Cobbe]

Lo, on Thursday, October 16, Johan Ovlinger did write:

> 
> I would also recommned Chris Okasaki's amortized datastructures.  He
> gave a fascinating talk here at CCS a few years back (so long ago, the
> faculty offices opposite the admin in cullinane were still meeting
> rooms), where he showed (away, away memory haze!) how to express
> several efficient datastructures in a functional manner.  Looking his
> work up on the web, it seems that lazy evaluation was a key
> ingredient in his amortized complexity, but I don't immediately recall
> how that would come into the picture.

Could one find the details from this talk in his book, _Purely
Functional Data Structures_?

(If not, I'm sure he's published papers on it, it's just that I already
have a copy of the book, so it's less work to track it down....)

Richard