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