An Introduction to Algebraic Effects and Handlers. Invited tutorial paper | Zendy

Matija Pretnar | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Introduction to Algebraic Effects and Handlers. Invited tutorial paper

Author(s) -

Matija Pretnar

Publication year - 2015

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2015.12.003

Subject(s) - algebraic number , algebraic semantics , computer science , semantics (computer science) , reading (process) , algebra over a field , programming language , mathematics education , theoretical computer science , mathematics , pure mathematics , linguistics , mathematical analysis , philosophy

This paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic effects are, give ample examples to explain how handlers work, define an operational semantics and a type & effect system, show how one can reason about effects, and give pointers for further reading

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research