Implementations of the pseudo-code specifications in Chris Okasaki's 1996 thesis