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.

The Haskell implementation of Effect Capabilities can be downloaded here.

The code was tested in the Haskell Platform version 2012.4.0.

Examples from the paper are included in the implementation.

• Nicolas Tabareau
• Éric Tanter
• Ismael Figueroa