Higher-Order Algebraic Effects and Handlers

Add to your list(s) Download to your calendar using vCal

• Zhixuan Yang, Imperial College London
• Monday 16 October 2023, 13:00-14:00
• FS07, Computer Laboratory.

If you have a question about this talk, please contact Jamie Vicary.

In this talk I will show one way to generalise algebraic effects and handlers to accommodate higher-order operations, including operations delimiting scopes and binding new variables. The basic idea is to shift the perspective from considering algebraic theories of effectful operations on objects to algebraic theories of monads equipped with operations. This idea can be more generally carried out at the level of monoids in monoidal categories, accommodating non-monadic effects such as applicative functors and graded monad, and also resulting in interesting results including a correspondence between monoids and theories of algebraic operations. To make models/handlers of higher-order effects composable, we introduce a concept of modular models of a theory, which transforms monoids equipped with some existing operations to monoids equipped with more operations.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

• FS07, Computer Laboratory

Note that ex-directory lists are not shown.