[gclist] region inferencing

Paul Haahr haahr@netcom.com
Thu, 6 Nov 97 09:51:56 -0800 (PST)

> 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

  Implementing the typed call-by-value lambda calculus using a stack of
  regions, POPL 94

  From region inference to von Neumann Machines via region
  representation inference, POPL 96