scientific article; zbMATH DE number 2087441
From MaRDI portal
Publication:4738236
Recommendations
Cited in
(only showing first 100 items - show all)- Complete Elgot monads and coalgebraic resumptions
- Fully abstract trace semantics for protected module architectures
- Modular structural operational semantics
- Logic programming: laxness and saturation
- Algebraic presentation of semifree monads
- On bisimilarity in lambda calculi with continuous probabilistic choice
- Weakest preconditions in fibrations
- Combining algebraic effect descriptions using the tensor of complete lattices
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
- Bimonoidal structure of probability monads
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Graded algebraic theories
- Local local reasoning: a BI-hyperdoctrine for full ground store
- Anatomy of a domain of continuous random variables. I
- Lawvere theories enriched over a general base
- Free-algebra models for the \(\pi \)-calculus
- Infinite trace equivalence
- Combining effects: sum and tensor
- Stateful runners of effectful computations
- Normalization by evaluation and algebraic effects
- Monads for behaviour
- Observationally-induced algebras in domain theory
- Freyd categories are enriched Lawvere theories
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- Dependent types and fibred computational effects
- Towards a formal theory of graded monads
- Monads and adjunctions for global exceptions
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- Comonadic notions of computation
- Algebras for parameterised monads
- Kleene monads: handling iteration in a framework of generic effects
- Notions of bidirectional computation and entangled state monads
- Fusion for free. Efficient algebraic effect handlers
- Dijkstra Monads in Monadic Computation
- Indexed Lawvere theories for local state
- A nominal relational model for local store
- Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
- Reflections on monadic lenses
- scientific article; zbMATH DE number 3924120 (Why is no real title available?)
- A coinductive calculus for asynchronous side-effecting processes
- Monoidal indeterminates and categories of possible worlds
- Premonoidal categories and notions of computation
- A relational realizability model for higher-order stateful ADTs
- Unguarded recursion on coinductive resumptions
- Efficient algebraic effect handlers for Prolog
- Notions of computation as monoids
- A probability monad as the colimit of spaces of finite samples
- scientific article; zbMATH DE number 1372682 (Why is no real title available?)
- scientific article; zbMATH DE number 2087428 (Why is no real title available?)
- Programming with algebraic effects and handlers
- Anatomy of a domain of continuous random variables. II
- Notions of monad strength
- Ambiguity and incomplete information in categorical models of language
- scientific article; zbMATH DE number 7453165 (Why is no real title available?)
- No-go theorems for distributive laws
- Runners in Action
- The costructure–cosemantics adjunction for comodels for computational effects
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- Finitary monads on the category of posets
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- scientific article; zbMATH DE number 7566074 (Why is no real title available?)
- How to prove decidability of equational theories with second-order computation analyser SOL
- Doo bee doo bee doo
- Monads in action
- Instances of computational effects: an algebraic perspective
- No value restriction is needed for algebraic effects and handlers
- Global state considered helpful
- Tensors of comodels and models for operational semantics
- Towards Effects in Mathematical Operational Semantics
- Category theoretic semantics for theorem proving in logic programming: embracing the laxness
- Stream processors and comodels
- An introduction to algebraic effects and handlers (invited tutorial paper)
- When programs have to watch paint dry
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Hypernormalisation in an abstract setting
- Monad transformers as monoid transformers
- Structured handling of scoped effects
- An algebraic theory for shared-state concurrency
- Sweedler theory of monads
- Latent Effects for Reusable Language Components
- Enriching diagrams with algebraic operations
- Higher-order asynchronous effects
- Sum and tensor of quantitative effects
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Correspondence between composite theories and distributive laws
- Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
- A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
- A denotationally-based program logic for higher-order store
- Continuous functions on final comodels of free algebraic theories
- The functional machine calculus
- Weakening and iterating laws using string diagrams
- Hefty algebras: modular elaboration of higher-order effects
- Towards univalent reference types: the impact of univalence on denotational semantics
- What monads can and cannot do with a bit of extra time
- What monads can and cannot do with a few extra pages
- Univalent enriched categories and the enriched rezk completion
- Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
- A general completeness theorem for skip-free star algebras
- Intersection types for a computational lambda-calculus with global state
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 Q4738236)
