implementations of standard ML algorithms in java