Have you seen Alice ML?

It's a Standard ML variant that includes serialization of types and support for distributed programming.

[1] http://www.ps.uni-saarland.de/alice/manual/tour.html#distrib...