The marriage of effects and monads

DOI10.1145/601775.601776zbMATH Open1365.68166OpenAlexW2022518532MaRDI QIDQ5267422FDOQ5267422

Peter J. 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

Recommendations

• The marriage of effects and monads
• The marriage of effects and monads
• Taming effects with monadic typing
• Taming effects with monadic typing
• scientific article; zbMATH DE number 2090722

zbMATH Keywords

monadtype reconstructiontypeeffectregion

Mathematics Subject Classification ID

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

Cited In (17)

• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Coherence of subsumption for monadic types
• On reduction and normalization in the computational core
• Title not available (Why is that?)
• Counting Successes: Effects and Transformations for Non-deterministic Programs
• Parameterised notions of computation
• Smart Choices and the Selection Monad
• A System F with Call-by-Name Exceptions
• Affine Monads and Side-Effect-Freeness
• Title not available (Why is that?)
• The marriage of effects and monads
• The untyped computational \(\lambda \)-calculus and its intersection type discipline
• Title not available (Why is that?)
• 1ML with Special Effects
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• Constructive membership predicates as index types
• No value restriction is needed for algebraic effects and handlers

This page was built for publication: The marriage of effects and monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5267422)