BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Higher-Order Algebraic Effects and Handlers - Zhixuan Yang\, Imper
 ial College London
DTSTART:20231016T120000Z
DTEND:20231016T130000Z
UID:TALK205789@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:In this talk I will show one way to generalise algebraic effec
 ts and handlers to accommodate higher-order operations\, including operati
 ons delimiting scopes and binding new variables. The basic idea is to shif
 t the perspective from considering algebraic theories of effectful operati
 ons on objects to algebraic theories of monads equipped with operations. T
 his idea can be more generally carried out at the level of monoids in mono
 idal categories\, accommodating non-monadic effects such as applicative fu
 nctors and graded monad\, and also resulting in interesting results includ
 ing 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 equipp
 ed with some existing operations to monoids equipped with more operations.
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR