(Replying to PARENT post)
If you're interested in the object GC portion, there's this:
http://ponylang.org/papers/OGC.pdf
The Pony object garbage collector is fully concurrent, the reachable memory for any actor is GC'd totally independently. At the same time, Pony allows (safely, with no data races) sharing pointers across actors, for performance (ie without copying).
There's a paper on the type system that allows this:
๐ค0cachecoherency๐10y๐ผ0๐จ๏ธ0
(Replying to PARENT post)