Eff
From MaRDI portal
swMATH22721MaRDI QIDQ34512FDOQ34512
Author name not available (Why is that?)
Official website: http://math.andrej.com/eff/
Cited In (40)
- Mac Lane's comparison theorem for the Kleisli construction formalized in Coq
- A Functional Abstraction of Typed Invocation Contexts
- Simply RaTT
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- CHAD
- 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
- Irdis
- Coquet
- wxHaskell
- Frank
- Koka
- Rocksalt
- Kami
- Links
- Lantern
- parsec
- Shonky
- Trifecta
- LaCasa
- indentation
- Efficient algebraic effect handlers for Prolog
- operational
- 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
- ad
- 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
