Pages that link to "Item:Q1811033"

The following pages link to Algebraic operations and generic effects (Q1811033):

Displaying 50 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)
• A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
• Signature restriction for polymorphic algebraic effects (Q6594243) (← links)
• Higher-order asynchronous effects (Q6635509) (← links)
• Sum and tensor of quantitative effects (Q6635519) (← links)
• From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6653755) (← links)