The marriage of effects and monads
From MaRDI portal
Publication:5267422
DOI10.1145/601775.601776zbMATH Open1365.68166OpenAlexW2022518532MaRDI QIDQ5267422FDOQ5267422
Authors: Philip Wadler, Peter J. Thiemann 
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Cited In (22)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
- Coherence of subsumption for monadic types
- Connecting effects and uniqueness with adoption
- On reduction and normalization in the computational core
- Title not available (Why is that?)
- Parameterised notions of computation
- Smart Choices and the Selection Monad
- The sequential semantics of producer effect systems
- A System F with Call-by-Name Exceptions
- 1ML with special effects. F-ing generativity polymorphism
- Affine Monads and Side-Effect-Freeness
- The marriage of effects and monads
- The untyped computational \(\lambda \)-calculus and its intersection type discipline
- Taming effects with monadic typing
- Taming effects with monadic typing
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Combining predicate transformer semantics for effects: a case study in parsing regular languages
- Constructive membership predicates as index types
- The marriage of effects and monads
- No value restriction is needed for algebraic effects and handlers
- Counting successes: effects and transformations for non-deterministic programs
- Unifying graded and parameterised monads
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)
