Dynamic instances for algebraic effects and handlers
Albert ten Napel
Date: Wed, January 31, 2018
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.
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