Termite Scheme did something like this for Scheme programs. It combines Erlang-style concurrency with process migration.

http://www.iro.umontreal.ca/~feeley/papers/GermainFeeleyMonn...