matz / ruby-lang.org (Yukihiro Matsumoto) writes:

> |for completeness the other solution is region inference: 
> |  replace most (in some programs, all) of the need of GC by stack-based memory
> |  management
> |  http://citeseer.nj.nec.com/tofte98region.html
> 
> Hmm, unfortunately it's too hard for me to read.  sigh.
> I will try anyway.

I didn't give explicitly this link. This should be (much) more readable:
- the Introduction in http://www.diku.dk/research-groups/topps/activities/kit2/summerschool/toc.html
- http://www.acm.org/sigplan/pldi/pldi2001/pldi01-presentations/DavidGay.pdf
  http://www.acm.org/sigplan/pldi/pldi2001/pldi01-presentations/DavidGay.ppt
- http://www.memorymanagement.org/glossary/r.html#region.inference