Number Systems and Data Structures [pdf]

informatik.uni-bonn.de

I'd also recommend Chris Okasaki's book Purely Functional Data Structures if you want to learn more. He has a whole section that goes in depth about the equivalence and has several examples, including implementations in Ocaml and Haskell.

Reply on news.ycombinator.com