Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

CALCO
2013
Springer

favoriteEmaildiscussreport

42views Mathematics» more CALCO 2013»

An Effect System for Algebraic Effects and Handlers

8 years 11 months ago

An Effect System for Algebraic Effects and Handlers

Download www.researchgate.net

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 sense that effects do not just accumulate, but may also be deleted from types or generally transformed. We also provide denotational semantics for the effect system, based on a domain-theoretic model with partial equivalence relations. The semantics validates equational reasoning about effectful computations.

Andrej Bauer, Matija Pretnar

Real-time Traffic

CALCO 2013 | Mathematics |

claim paper

Related Content

» Handlers of Algebraic Effects

» Effective algorithms for parametrizing linear control systems over Ore algebras

» Effective Set Membership in Computer Algebra and Beyond

» Improving Performance of LoadStore Sequences for Transaction Processing Workloads on Multi...

» Narnia A Virtual Machine for Multimedia Communication Services

» Towards More Efficient and Effective LPbased algorithms for MRF Optimization

» A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation

» Algebraic foundations for effectdependent optimisations

» Compilerassisted dynamic scheduling for effective parallelization of loop nests on multico...

» TierStore A Distributed Filesystem for Challenged Networks in Developing Regions

Post Info
More Details (n/a)

Added	19 May 2015
Updated	19 May 2015
Type	Journal
Year	2013
Where	CALCO
Authors	Andrej Bauer, Matija Pretnar

Comments (0)