scientific article; zbMATH DE number 7533352
From MaRDI portal
Publication:5079752
DOI10.4230/LIPICS.CSL.2018.27MaRDI QIDQ5079752FDOQ5079752
Publication date: 28 May 2022
Title of this publication is not available (Why is that?)
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
- A judgmental reconstruction of modal logic
- A completeness theorem in modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Contextual modal type theory
- A syntactic theory of sequential control
- Representing Control: a Study of the CPS Transformation
- Polymorphic Delimited Continuations
- A Substructural Type System for Delimited Continuations
- Computer Science Logic
- On typing delimited continuations: Three new solutions to the printf problem
- A proof-theoretic foundation of abortive continuations
- Monads in action
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)
