Ningning Xie on “Algebraic Effect Handlers with Parallelizable Computations”

Ningning is an Assistant Professor at the University of Toronto and a Research Scientist at Google DeepMind. Her research focuses on functional programming languages and type systems.

Algebraic effects and handlers are a powerful way to incorporate effects in programming languages. Algebraic effect handlers can express any free monad in a concise and composable way, and can be used to express complex control-flow, like exceptions, asynchronous I/O, local state, backtracking, and many more. However, existing designs of algebraic effects often require effects to be executed sequentially.

In this talk, Ningning gives an overview of algebraic effect handlers, and discuss how to combine effect handlers with parallelizable computations.

https://zfoh.ch/zurihac2024/
https://www.ost.ch/