Comprehending monads
From MaRDI portal
Publication:4279255
Theory of programming languages (68N15) Data structures (68P05) Combinatory logic and lambda calculus (03B40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Abstract data types; algebraic specification (68Q65) Applications of universal algebra in computer science (08A70)
Recommendations
- scientific article; zbMATH DE number 2068087
- Monads in action
- scientific article; zbMATH DE number 2086588
- Monads and theories
- scientific article; zbMATH DE number 4189993
- Notions of computation and monads
- Monads, indexes and transformations
- scientific article; zbMATH DE number 1497780
- Monads, partial evaluations, and rewriting
Cites work
Cited in
(74)- Object-oriented programming: some history, and challenges for the next fifty years
- scientific article; zbMATH DE number 2156365 (Why is no real title available?)
- Monad transformers as monoid transformers
- scientific article; zbMATH DE number 2090024 (Why is no real title available?)
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
- Monads, zippers and views: virtualizing the monad stack
- Libraries for generic programming in Haskell
- Natural transformations as rewrite rules and monad composition
- Formal verification of an executable LTL model checker with partial order reduction
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Monadic combination using co limits and folds
- A new framework for declarative programming
- Arrows for secure information flow
- Iterated covariant powerset is not a monad
- Reversible monadic computing
- Invariants of monadic coalgebras
- Wrapper semantics of an object-oriented programming language with state
- Expressive power of SQL.
- Plethysms and operads
- Kinded type inference for parametric overloading
- Translating regular expression matching into transducers
- Declarative debugging meets the world
- Layer by layer -- combining monads
- For a few dollars more. Verified fine-grained algorithm analysis down to LLVM
- Query languages for bags and aggregate functions
- scientific article; zbMATH DE number 2090722 (Why is no real title available?)
- Provenance as dependency analysis
- Monads for the formalization of a pattern matching procedure
- Things to know when implementing KBO
- Coalgebras and monads in the semantics of Java
- Structured handling of scoped effects
- scientific article; zbMATH DE number 2112364 (Why is no real title available?)
- Unifying theories of programming with monads
- Algebraic dynamic programming for multiple context-free grammars
- Fusion of recursive programs with computational effects
- Connected monads weakly preserve products
- Constructing language processors with algebra combinators
- Computer Certified Efficient Exact Reals in Coq
- A System F with Call-by-Name Exceptions
- Reflections on monadic lenses
- Pointlessness is better than listlessness
- A reflection on types
- A divertimento on MonadPlus and nondeterminism
- Generalized arrays for Stainless frames
- On a monadic semantics for freshness
- Roles, stacks, histories: a triple for Hoare
- How to prove decidability of equational theories with second-order computation analyser SOL
- Strongly-Normalizing Higher-Order Relational Queries
- Monadic Sequence Testing and Explicit Test-Refinements
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- Comprehending Ringads
- An algebra for distributed Big Data analytics
- Powersets of terms and composite monads
- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs
- Modular verification of programs with effects and effects handlers
- Specification of logic programming languages from reusable semantic building blocks
- Boolean restriction categories and taut monads
- scientific article; zbMATH DE number 1862079 (Why is no real title available?)
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products
- scientific article; zbMATH DE number 7559296 (Why is no real title available?)
- Principles of programming with complex objects and collection types
- Monad as modality
- Shifting the stage. Staging with delimited control
- A novel formal approach to program slicing
- A computer-verified monadic functional implementation of the integral
- Compositional references for stateful functional programming
- Dragging proofs out of pictures
- Push versus pull-based loop fusion in query engines
- A graphical approach to monad compositions
- Monads, indexes and transformations
- A unifying approach to goal-directed evaluation
- Taut monads, dynamic logic and determinism
- Recursion equations as a programming language
- Simple and compositional reification of monadic embedded languages
This page was built for publication: Comprehending monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4279255)
