Handlers for algebraic effects provide a compelling and modular basis for effectful programming by separating the use of an effectful operation from its meaning.
Previous work studies implementation strategies, although, most often focusing on a particular compilation strategy or a particular embedding technique. We compare a range of implementation strategies specifically for handlers on the web.
Tue 10 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30
K: Manuel SerranoInria, France
|Group discussion 1|