POPL 2023 (series) / PEPM 2023 (series) / PEPM 2023 / Towards a Reflection for Effect Handlers
Towards a Reflection for Effect HandlersRecorded
A reflection is a relationship between compiling and decompiling functions. This concept has been studied as a means to ensure correctness of compilers, in particular, those for languages featuring control effects. We aim to develop a reflection for algebraic effects and handlers. As a first step towards this goal, we investigate what we obtain by following the existing recipe for control operators. We show that, if we use the simplest CPS translation as the compiling function, we can prove most but not all theorems required of a reflection. From this result, we identify two conditions of the CPS translation that would lead to a reflection for effect handlers.
Tue 17 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 17 Jan
Displayed time zone: Eastern Time (US & Canada) change
16:00 - 17:30 | |||
16:00 30mTalk | Efficient Embedding of Strategic Attribute Grammars via MemoizationRemote PEPM José Nuno Macedo University of Minho, Emanuel Rodrigues HASLab & INESC TEC, University of Minho, Marcos Viera University of the Republic, Uruguay, João Saraiva | ||
16:30 30mTalk | Towards a Reflection for Effect HandlersRecorded PEPM | ||
17:00 30mDay closing | Wrap up PEPM Jens Palsberg University of California, Los Angeles (UCLA), Edwin Brady University of St Andrews, UK |