Staged Effects and Handlers for Modular Languages with Abstraction
Casper Bach Poulsen
Date: Wed, November 11, 2020
Time: 12:00
Room: Casper's Zoom Room
We consider how to use modular effects to define modular languages with lambda abstraction. We argue that existing approaches to algebraic effects and handlers are not suitable for this challenge. Instead, we propose a new approach that we dub staged effects and handlers. We show how to use our approach to define lambda abstraction in a modular way, and discuss open questions.
Previous:
| NWO Veni on A Trustworthy and Extensible Core Language for Agda
Next:
Jules Jacobs | Paradoxes of probabilistic programming