@TechReport{Dartmouth:TR2004-521,
  author = {Chris Hawblitzel and Heng Huang and Lea Wittie},
  title = {{Composing a Well-Typed Region}},
  institution = {Dartmouth College, Computer Science},
  address = {Hanover, NH},
  number = {TR2004-521},
  year = {2004},
  month = {October},
  URL = {http://www.cs.dartmouth.edu/reports/TR2004-521.pdf},
  abstract = {
    Efficient low-level systems need more control over memory than
    safe high-level languages usually provide. In particular, safe languages
    usually prohibit explicit deallocation, in order to prevent dangling pointers.
    Regions provide one safe deallocation mechanism; indeed, many region calculi
    have appeared recently, each with its own set of operations and often complex
    rules. This paper encodes regions from lower-level typed primitives (linear
    memory, coercions, and delayed types), so that programmers can design their own
    region operations and rules.
  }
}