The following pages link to Eff (Q34512):
Displayed 22 items.
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Modular verification of programs with effects and effects handlers (Q1996433) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Mac Lane's comparison theorem for the Kleisli construction formalized in Coq (Q2209259) (← links)
- Introducing a Calculus of Effects and Handlers for Natural Language Semantics (Q2835059) (← links)
- Inferring Algebraic Effects (Q2921118) (← links)
- Efficient algebraic effect handlers for Prolog (Q4593065) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- (Q5020618) (← links)
- Runners in Action (Q5041086) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- (Q5111314) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- An Effect System for Algebraic Effects and Handlers (Q5891182) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)