I think Erlang and MS Singularity use this technique to some extent.<p><a href="http://doi.acm.org/10.1145/1029873.1029875" rel="nofollow">http://doi.acm.org/10.1145/1029873.1029875</a>
<a href="http://doi.acm.org/10.1145/1146809.1146813" rel="nofollow">http://doi.acm.org/10.1145/1146809.1146813</a>
<a href="http://research.microsoft.com/apps/pubs/default.aspx?id=67482" rel="nofollow">http://research.microsoft.com/apps/pubs/default.aspx?id=6748...</a>