ICFP 2021
Sun 22 - Sat 28 August 2021
Sun 22 Aug 2021 23:30 - 00:00 at HOPE - Session 4

Algebraic effect handlers are a novel technique for adding composable computational effects to functional languages. While programming with distinct effects is concise, using multiple instances of the same effect is difficult to express. This work studies named effect handlers, such that an operation can explicitly yield to a specific handler by name. We propose a novel design of named handlers, where names are first-class values bound by regular lambdas, and are guaranteed not to escape using standard rank-2 polymorphism. We also formalize dynamically instantiated named handlers, which can express first-class isolated heaps with dynamic mutable references. Finally, we provide an implementation of named handlers in the Koka programming language, showing that the proposed ideas enable supporting named handlers with moderate effort.

Sun 22 Aug

Displayed time zone: Seoul change

23:30 - 01:00
Session 4HOPE at HOPE
23:30
30m
Talk
First-class Names for Effect Handlers
HOPE
Ningning Xie University of Toronto, Youyou Cong Tokyo Institute of Technology, Daan Leijen Microsoft Research
00:00
30m
Talk
Tensor Partial Evaluation
HOPE
Eli Bingham Broad Institute, Fritz Obermeyer Broad Institute of MIT and Harvard, Yerdos Ordabayev Brandeis University, Du Phan UIUC
File Attached
00:30
30m
Talk
Dynamic Scope + Laziness = Counterfactuals
HOPE
James Koppel Massachusetts Institute of Technology, USA, Armando Solar-Lezama Massachusetts Institute of Technology, Zenna Tavares Massachusetts Institute of Technology, Xin Zhang Peking University
File Attached