It seems that what we would want is Python -> OCaml or ML2000 than Python -> ML. Are you familiar with any work of this sort? Jeremy