Dynamic instances for algebraic effects and handlers

Albert ten Napel

Date: Wed, January 31, 2018
Time: 12:45
Room: Yellow Brickroad (Bouwcampus)

Algebraic effects and handlers provide a compositional way of structuring effectful programs. Dynamic instances increase the expressiveness of algebraic effects by allowing the creation multiple instances of an effect. We would like to design a type system for dynamic instances and prove its soundness.

Previous: Sander Bosma |
Next: Robbert Krebbers |