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 [http://www.haskell.org/platform/|Haskell Platform] version 2012.4.0.

Examples from the paper are included in the implementation.

• Nicolas Tabareau
• Éric Tanter
• Ismael Figueroa