A Diagrammatic Calculus for Algebraic Effects

01/05/2020
by   Ugo Dal Lago, et al.
0

We introduce a new, diagrammatic notation for representing the result of algebraic effectful computations. Our notation explicitly separates the effects produced during a computation from the possible values returned, this way simplifying the extension of definitions and results on pure computations to an effectful setting. We give a formal foundation for our notation in terms of Lawvere theories and generic effects.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset