AbstractThis 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
Plotkin and Power’s algebraic effects combined with Plotkin and Pretnar’s effect handlers provide a ...
In this paper, we study extensions of mathematical operational semantics with algebraic effects. Our...
Algebraic effect handlers are a powerful means for describing effectful computations. They provide a...
AbstractThis paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
Dagstuhl Seminar 16112 was devoted to research in algebraic effects and handlers, a chapter in the p...
Plotkin and Pretnar’s handlers for algebraic effects occupy a sweet spot in the design space of abst...
Algebraic effect handlers are a powerful means for describing effectful computations. They provide a...
Side-effect are ubiquitous in programming. Examples include mutable state, exceptions, non-determini...
Eff is a programming language based on the algebraic approach to computa-tional effects, in which ef...
We present an effect system for core Eff, a simplified variant of Eff, whichis an ML-style programmi...
Algebraic effects and handlers are a convenient method for structuring monadic effects with primitiv...
We present the first algorithm for reconstructing the types and effects of expressions in the presen...
In programming languages, a side effect occurs whenever a computation has another effect beside retu...
Languages like C#, C++, or JavaScript support complex control flow statements like exception handlin...
Plotkin and Power’s algebraic effects combined with Plotkin and Pretnar’s effect handlers provide a ...
In this paper, we study extensions of mathematical operational semantics with algebraic effects. Our...
Algebraic effect handlers are a powerful means for describing effectful computations. They provide a...
AbstractThis paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
Dagstuhl Seminar 16112 was devoted to research in algebraic effects and handlers, a chapter in the p...
Plotkin and Pretnar’s handlers for algebraic effects occupy a sweet spot in the design space of abst...
Algebraic effect handlers are a powerful means for describing effectful computations. They provide a...
Side-effect are ubiquitous in programming. Examples include mutable state, exceptions, non-determini...
Eff is a programming language based on the algebraic approach to computa-tional effects, in which ef...
We present an effect system for core Eff, a simplified variant of Eff, whichis an ML-style programmi...
Algebraic effects and handlers are a convenient method for structuring monadic effects with primitiv...
We present the first algorithm for reconstructing the types and effects of expressions in the presen...
In programming languages, a side effect occurs whenever a computation has another effect beside retu...
Languages like C#, C++, or JavaScript support complex control flow statements like exception handlin...
Plotkin and Power’s algebraic effects combined with Plotkin and Pretnar’s effect handlers provide a ...
In this paper, we study extensions of mathematical operational semantics with algebraic effects. Our...
Algebraic effect handlers are a powerful means for describing effectful computations. They provide a...
DOI
Add to ORKG