Recommendations
Cited in
(31)- Layer by layer -- combining monads
- Monadification of functional programs
- A hierarchy of monadic effects for program verification using equational reasoning
- \textsc{Tor}: modular search with hookable disjunction
- Monads for behaviour
- scientific article; zbMATH DE number 1696886 (Why is no real title available?)
- Kleene monads: handling iteration in a framework of generic effects
- The sequential semantics of producer effect systems
- Dijkstra Monads in Monadic Computation
- Recursive monadic bindings
- Unifying theories of programming with monads
- VDM Semantics of Programming Languages: Combinators and Monads
- Modular Monad Transformers
- scientific article; zbMATH DE number 4059655 (Why is no real title available?)
- Comprehending monads
- An abstract monadic semantics for value recursion
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- Semantics of value recursion for Monadic Input/Output
- scientific article; zbMATH DE number 2090722 (Why is no real title available?)
- Monad-independent Dynamic Logic in HasCasl
- A selective CPS transformation
- Polymonadic programming
- scientific article; zbMATH DE number 7533352 (Why is no real title available?)
- Doo bee doo bee doo
- Programming and reasoning with algebraic effects and dependent types
- Programming monads operationally with Unimo
- Evaluation strategies for monadic computations
- Tracing monadic computations and representing effects
- Smart Choices and the Selection Monad
- Signature restriction for polymorphic algebraic effects
- On the relations between monadic semantics
This page was built for publication: Monads in action
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5255104)
