The marriage of effects and monads

DOI10.1145/601775.601776zbMath1365.68166OpenAlexW2022518532MaRDI QIDQ5267422

Peter Thiemann, Philip Wadler

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/601775.601776

zbMATH Keywords

typemonadtype reconstructioneffectregion

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ 1ML with Special Effects ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ A System F with Call-by-Name Exceptions ⋮ No value restriction is needed for algebraic effects and handlers ⋮ The untyped computational \(\lambda \)-calculus and its intersection type discipline ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Eager and delayed contract monitoring for call-by-value and call-by-name evaluation ⋮ Coherence of subsumption for monadic types ⋮ Parameterised notions of computation ⋮ Constructive Membership Predicates as Index Types ⋮ On reduction and normalization in the computational core