Cited in
(41)- 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
- Introducing a calculus of effects and handlers for natural language semantics
- An effect system for algebraic effects and handlers
- CLEAN
- Irdis
- Coquet
- wxHaskell
- Frank
- Koka
- Rocksalt
- Kami
- Links
- Lantern
- parsec
- Shonky
- Trifecta
- LaCasa
- indentation
- operational
- CHAD
- Efficient algebraic effect handlers for Prolog
- ad
- Validating Brouwer's continuity principle for numbers using named exceptions
- Simply RaTT
- 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
