On Thu, 2006-09-14 at 10:40 -0500, Jim Battin wrote:
>  Prior to that, there appears to have been some
> academic research regarding concurrent GC (Doligez, Leroy).

There's some more recent stuff eg

"Scalable Real-time parallel GC for SMP", Cheng 

(sorry lost the URL ..) which suggests an implementation
for ML like language is quite possible. This paper
describes an algorithms for *parallel* collection,
not merely concurrent collection, that is, multiple
threads (multiple CPUs) participating in the collection.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net