This is an old revision of the document!
Effect Capabilities
Inspired on capability-based security, we propose Effect Capabilities as an effective and flexible manner to control effects and their interferences. Capabilties can be selectively shared between modules to establish secure effect-centric coordinations.
Downloading
The Haskell implementation of Effect Capabilities can be downloaded here.
The code was tested in the Haskell Platform version 2012.4.0.
Examples
Examples from the paper are included in the implementation.
Authors
- Ismael Figueroa
- Nicolas Tabareau
- Éric Tanter