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:00|
K: Manuel SerranoInria, France
|10:00 - 10:25|
|10:25 - 10:30|
|Group discussion 1|