%T Composing a Well-Typed Region
%A Chris Hawblitzel
%A Heng Huang
%A Lea Wittie
%R Technical Report TR2004-521
%I Dartmouth College, Computer Science
%C Hanover, NH
%D October 2004
%U http://www.cs.dartmouth.edu/reports/TR2004-521.pdf
%X
 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.