Technical Report Number
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.
Dartmouth Digital Commons Citation
Hawblitzel, Chris; Huang, Heng; and Wittie, Lea, "Composing a Well-Typed Region" (2004). Computer Science Technical Report TR2004-521. https://digitalcommons.dartmouth.edu/cs_tr/257