Handling Algebraic Effects.

Plotkin, G. D., & Pretnar, M. (2013). Handling Algebraic Effects. Logical Methods in Computer Science, 9(4).

Type

Journal article

Intellectual base

Primary research

Year

2013

DOI

10.2168/lmcs-9(4:23)2013

Link

https://doi.org/10.2168/LMCS-9(4:23)2013

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Side Effect
  • The ML and Haskell discipline of typed effects transferred into Rust's unsafe markers, Java's checked exceptions, and the modern algebraic-effects literature.

    This sourceFoundational paper on algebraic effects and handlers, the modern lineage of typed effect systems descending from monadic IO.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:ab7fc2b62cc7 · see in the full table