Stack of regions for managing effects?

Tofte and Talpin used stack of regions for managing memory. Can you recommend papers where per-frame regions/heaps are used for managing effects?

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Monadic Regions

Monadic regions have been used for managing effects other than memory allocation and access.

Lightweight monadic regions (Haskell Symposium, 2008) uses regions to manage allocation of resources like files. The library was later used as a part of a USB library for Haskell, to manage and control USB contexts.

More recently, the lightweight monadic regions were implemented using extensible effects. The implementation is quite more general and permits region management of any effects. Please see Sec 7 of the Haskell 2015 paper