In this paper, we study extensions of mathematical operational semantics with algebraic effects. Our starting point is an effect-free coalgebraic operational semantics, given by a natural transformation of syntax over behaviour. The operational semantic
Given a category C with finite products and a strong monad T on C, we investigate axioms under which...
Operational semantics gives meaning to terms in a programming language by defining a transition rela...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
AbstractIn this paper, we study extensions of mathematical operational semantics with algebraic effe...
AbstractIn this paper, we study extensions of mathematical operational semantics with algebraic effe...
In the mid-nineties, Turi and Plotkin gave an elegant categorical treatment of denotational and oper...
We present a categorical theory of `well-behaved' operational semantics which aims at complemen...
AbstractThis paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic...
Given a category C with finite products and a strong monad T on C, we investigate axioms under which...
AbstractSome years ago, Turi and Plotkin gave a precise mathematical formulation of a notion of stru...
AbstractGiven a category C with finite products and a strong monad T on C, we investigate axioms und...
Structural operational semantics can be studied at the general level of distributive laws of syntax ...
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing...
Algebraic operational semantics is further developed and used to provide meanings for Modula 2. A di...
Algebraic operational semantics is further developed and used to provide meanings for Modula 2. A di...
Given a category C with finite products and a strong monad T on C, we investigate axioms under which...
Operational semantics gives meaning to terms in a programming language by defining a transition rela...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
AbstractIn this paper, we study extensions of mathematical operational semantics with algebraic effe...
AbstractIn this paper, we study extensions of mathematical operational semantics with algebraic effe...
In the mid-nineties, Turi and Plotkin gave an elegant categorical treatment of denotational and oper...
We present a categorical theory of `well-behaved' operational semantics which aims at complemen...
AbstractThis paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic...
Given a category C with finite products and a strong monad T on C, we investigate axioms under which...
AbstractSome years ago, Turi and Plotkin gave a precise mathematical formulation of a notion of stru...
AbstractGiven a category C with finite products and a strong monad T on C, we investigate axioms und...
Structural operational semantics can be studied at the general level of distributive laws of syntax ...
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing...
Algebraic operational semantics is further developed and used to provide meanings for Modula 2. A di...
Algebraic operational semantics is further developed and used to provide meanings for Modula 2. A di...
Given a category C with finite products and a strong monad T on C, we investigate axioms under which...
Operational semantics gives meaning to terms in a programming language by defining a transition rela...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
DOI
Add to ORKG