Taming Control Flow through Linear Effect Handlers
Combining algebraic effects with external resources and as- sociated linearity assumptions can lead to code which is hard to reason about. We show how indexing effect declarations with their control flow linearity can solve this problem and at the same time support efficient compilation.
Sun 23 Sep
|14:30 - 15:10|