Composing a Well-Typed Region Dartmouth Technical Report TR2004-521 Chris Hawblitzel Heng Huang Lea Wittie Date: October 2004 URL (PDF): (484KB) 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.