Edit Social Preview
Upload an image to customize your repository’s social media preview.
Images should be at least 640×320px (1280×640px for best display).
Upload an image to customize your repository’s social media preview.
Images should be at least 640×320px (1280×640px for best display).
Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory, sacrificing both reasoning power and safety... (read more)
PDF Abstract