Bidirectional effects are a variation of algebraic effects and handlers that can express non-trivial communication between an operation call and its handler. We develop a monadic semantics of bidirectional effects under the slogan a free recursive monad is a free monad over recursive types. We illustrate our idea through a simple example and discuss directions for future work.
Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
14:00 - 15:30
|Flexibly graded monads and graded algebras
|Monadic Semantics of Bidirectional Effects