Region allocation: creating regions of memory and storing objects in those regions.
Arenas: a region where objects are allocated sequentially then the whole arena is wiped when done.
Paper talks about using type safety in conjunction with regions. Ex. annotating a region and having the type system forbid intermixing the regions, and runtime support to ensure regions are not cleared if any dangling references exist.