An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2015.12.003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2208976468 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Effect System for Algebraic Effects and Handlers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming with algebraic effects and handlers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming and reasoning with algebraic effects and dependent types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substitution, jumps, and algebraic effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combining effects: sum and tensor / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handlers in action / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic foundations for effect-dependent optimisations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modelling environments in call-by-value programming languages. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2778806 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2771052 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4738236 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic operations and generic effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tensors of Comodels and Models for Operational Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handlers of Algebraic Effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handling Algebraic Effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inferring Algebraic Effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic Effects, Linearity, and Quantum Programming Languages / rank
 
Normal rank

Latest revision as of 03:14, 13 July 2024

scientific article; zbMATH DE number 6664923
Language Label Description Also known as
English
An introduction to algebraic effects and handlers (invited tutorial paper)
scientific article; zbMATH DE number 6664923

    Statements

    An introduction to algebraic effects and handlers (invited tutorial paper) (English)
    0 references
    0 references
    16 December 2016
    0 references
    algebraic effects
    0 references
    handlers
    0 references
    effect system
    0 references
    semantics
    0 references
    logic
    0 references
    tutorial
    0 references
    0 references
    0 references

    Identifiers