CALCO
2013
Springer
9 years 3 days 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...