University of Cambridge > > SANDWICH Seminar (Computer Laboratory) > Higher-Order Algebraic Effects and Handlers

Higher-Order Algebraic Effects and Handlers

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity