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 | IncA case study - implementing a type checker for the Rust language
Next:
Robbert Krebbers | Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic