Pages that link to "Item:Q478396"

The following pages link to Programming with algebraic effects and handlers (Q478396):

Displaying 30 items.

• Eff (Q34512) (← links)
• Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
• Modular verification of programs with effects and effects handlers (Q1996433) (← links)
• Modular verification of programs with effects and effect handlers in Coq (Q2024352) (← links)
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
• Mac Lane's comparison theorem for the Kleisli construction formalized in Coq (Q2209259) (← links)
• Introducing a Calculus of Effects and Handlers for Natural Language Semantics (Q2835059) (← links)
• Turing-Completeness Totally Free (Q2941179) (← links)
• Efficient algebraic effect handlers for Prolog (Q4593065) (← links)
• Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
• Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
• (Q5020618) (← links)
• Runners in Action (Q5041086) (← links)
• A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
• (Q5094128) (← links)
• Effect handlers via generalised continuations (Q5110928) (← links)
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
• Doo bee doo bee doo (Q5110934) (← links)
• Continuation passing style for effect handlers (Q5111314) (← links)
• Local algebraic effect theories (Q5120228) (← links)
• Explicit effect subtyping (Q5120231) (← links)
• Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
• No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
• An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)
• A type system for effect handlers and dynamic labels (Q6535238) (← links)
• Asymptotic speedup via effect handlers (Q6561531) (← links)
• Signature restriction for polymorphic algebraic effects (Q6594243) (← links)
• Higher-order asynchronous effects (Q6635509) (← links)