See: http://cglab.ca/~abeinges/blah/robinhood-part-1/ about the implementation in Rust.

This post only touches on the theory, not the implementation. I never got around to writing about the implementation as there was some pending churn at the time.

This is a pity. If you could please continue. I am hugely interested.