Tue 17 Jan 2023 16:30 - 17:00 at Scollay - 2 online talks Chair(s): Edwin Brady

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 Jan

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
2 online talksPEPM at Scollay
Chair(s): Edwin Brady University of St Andrews, UK
16:00
30m
Talk
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
30m
Talk
Towards a Reflection for Effect HandlersRecorded
PEPM
Youyou Cong Tokyo Institute of Technology, Kenichi Asai Ochanomizu University
17:00
30m
Day closing
Wrap up
PEPM
Jens Palsberg University of California, Los Angeles (UCLA), Edwin Brady University of St Andrews, UK