79
Voted
CALCO
2013
Springer
10 years 10 months ago
2013
Springer
We present an effect system for algebraic effects and handlers. Because handlers may transform an effectful computation into a pure one, the effect system is non-monotone in the s...