[gclist] region inferencing

[Paul Haahr]

> Could you post a reference for those of us who've yet to bump into
> it?

Try the following papers, authored or co-authored by Mads Tofte:

  A Theory of Stack Allocation in Polymorphically Typed Languages
  http://www.diku.dk/users/tofte/publ/93.15.dvi

  Implementing the typed call-by-value lambda calculus using a stack of
  regions, POPL 94
  http://www.diku.dk/users/tofte/publ/popl94.dvi

  From region inference to von Neumann Machines via region
  representation inference, POPL 96
  http://www.diku.dk/users/tofte/publ/popl96.dvi

--p