Pages that link to "Item:Q1811033"
From MaRDI portal
The following pages link to Algebraic operations and generic effects (Q1811033):
Displaying 45 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- Generic models for computational effects (Q860841) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- Non-deterministic effects in a realizability model (Q2130600) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Turing-Completeness Totally Free (Q2941179) (← links)
- Fusion for Free (Q2941182) (← links)
- A Nominal Relational Model for Local Store (Q3178267) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q5002829) (← links)
- (Q5013826) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- (Q5020616) (← links)
- (Q5020618) (← links)
- Runners in Action (Q5041086) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
- Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs (Q5879268) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- Canonical Gradings of Monads (Q6150137) (← links)