Eff

swMATH22721MaRDI QIDQ34512

No author found.

Described by source

• Programming with algebraic effects and handlers
• An Effect System for Algebraic Effects and Handlers

Related Items (22)

Continuity of Gödel's system T definable functionals via effectful forcing ⋮ Explicit effect subtyping ⋮ Runners in Action ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ A Functional Abstraction of Typed Invocation Contexts ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Inferring Algebraic Effects ⋮ Efficient algebraic effect handlers for Prolog ⋮ Effect handlers via generalised continuations ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo ⋮ Local algebraic effect theories ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Mac Lane's comparison theorem for the Kleisli construction formalized in Coq ⋮ Unnamed Item ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Modular verification of programs with effects and effects handlers ⋮ An Effect System for Algebraic Effects and Handlers ⋮ Introducing a Calculus of Effects and Handlers for Natural Language Semantics ⋮ Continuation passing style for effect handlers

This page was built for software: Eff