Differences

This shows you the differences between two versions of the page.

--- effectcaps [2014/05/23 20:12] – ifiguero
+++ effectcaps [2015/03/13 19:31] (current) – ifiguero
@@ Line 1: / Line 1: @@
 ====== Effect Capabilities in Haskell ======
+===== Submitted to Special Issue of Science of Computer Programming =====
 ==== Abstract ====
@@ Line 17: / Line 19: @@
 to establish a way to statically share capabilities between modules,
 as well as to check proper access permissions to effects at compile
-time. We exemplify how to tame effect interferences using effect
+time. We first exemplify how to tame effect interferences using
-capabilities, by treating state and exceptions.
+effect capabilities by treating state and exceptions. Then we focus
+on taming I/O by proposing a fine-grained lattice of I/O permissions
-====== Downloading ======
+based on the current classification of its operations. Finally, we
-The Haskell implementation of Effect Capabilities can be downloaded {{research:software:effectcapabilities-sblp.zip|here}}.
+show that integrating effect capabilities with modern tag-based
+monadic mechanisms provides a practical, modular and safe mechanism
-The code was tested in the [[http://www.haskell.org/platform/|Haskell Platform]] version 2012.4.0.
+for monadic programming in Haskell.
-====== Examples ======
+==== Implementation and Examples ====
-Examples from the paper are included in the implementation.
+The Haskell implementation of Effect Capabilities and the examples of the paper are available in [[https://github.com/ifigueroap/effect-capabilities/tree/scp|Github]]. The code was tested in the [[http://www.haskell.org/platform/|Haskell Platform]] version 2014.2.0.
 ====== Authors ======