Programming with algebraic effects and handlers

From MaRDI portal
Publication:478396

DOI10.1016/j.jlamp.2014.02.001zbMath1304.68025arXiv1203.1539OpenAlexW3103594074WikidataQ115902568 ScholiaQ115902568MaRDI QIDQ478396

Matija Pretnar, Andrej Bauer

Publication date: 3 December 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.1539




Related Items

Continuity of Gödel's system T definable functionals via effectful forcingExplicit effect subtypingRunners in ActionIntroducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computationA Functional Abstraction of Typed Invocation ContextsFactorisation systems for logical relations and monadic lifting in type-and-effect system semanticsTuring-Completeness Totally FreeWhen programs have to watch paint dryEfficient algebraic effect handlers for PrologSound and complete type inference for closed effect rowsEffect handlers via generalised continuationsEffekt: Capability-passing style for type- and effect-safe, extensible effect handlers in ScalaDoo bee doo bee dooStructured handling of scoped effectsAutomated temporal verification for algebraic effectsVerifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD LibraryLocal algebraic effect theoriesInteractive programming in Agda – Objects and graphical user interfacesNo value restriction is needed for algebraic effects and handlersMac Lane's comparison theorem for the Kleisli construction formalized in CoqUnnamed ItemAn introduction to algebraic effects and handlers (invited tutorial paper)Validating Brouwer's continuity principle for numbers using named exceptionsModular verification of programs with effects and effects handlersModular verification of programs with effects and effect handlers in CoqUnnamed ItemEffIntroducing a Calculus of Effects and Handlers for Natural Language SemanticsContinuation passing style for effect handlersNot by equations alone: Reasoning with extensible effects


Uses Software


Cites Work