scientific article; zbMATH DE number 7533352
From MaRDI portal
Publication:5079752
Recommendations
- A Description of Iterative Reflections of Monads (Extended Abstract)
- How iterative reflections of monads are constructed
- Iterative reflections of monads
- scientific article; zbMATH DE number 2219520
- Monads, partial evaluations, and rewriting
- Monadic convergence structures revisited
- Simple and compositional reification of monadic embedded languages
- Monadic decompositions
- Monadic Translation of Intuitionistic Sequent Calculus
- Recursive program schemes and context-free monads
Cites work
- scientific article; zbMATH DE number 1324438 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- A Substructural Type System for Delimited Continuations
- A completeness theorem in modal logic
- A judgmental reconstruction of modal logic
- A proof-theoretic foundation of abortive continuations
- A syntactic theory of sequential control
- Computer Science Logic
- Contextual modal type theory
- Monads in action
- On typing delimited continuations: Three new solutions to the printf problem
- Polymorphic Delimited Continuations
- Representing Control: a Study of the CPS Transformation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079752)
