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
- Inferring algebraic effects
- Runners in Action
- Continuity of Gödel's system T definable functionals via effectful forcing
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- An effect system for algebraic effects and handlers
- Introducing a calculus of effects and handlers for natural language semantics
- Efficient algebraic effect handlers for Prolog
- Validating Brouwer's continuity principle for numbers using named exceptions
- Interactive programming in Agda -- objects and graphical user interfaces
- An introduction to algebraic effects and handlers (invited tutorial paper)
- Modular verification of programs with effects and effects handlers
- Explicit effect subtyping
- Combining predicate transformer semantics for effects: a case study in parsing regular languages
- 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
