David Feuer writes:

I seem to remember an article about functional graph algorithms using extra-lazy arrays. Anyone know if these arrays have appeared in any mainstream implementation?

You might mean my paper "Efficient Graph Algorithms Using Lazy Monolithic Arrays", (a JFP paper), which you can find at www.cs.chalmers.se/~johnsson . hbc has an implementation of it. --Thomas