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.
Conference DaySun 23 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
14:30 - 15:10
|Taming Control Flow through Linear Effect Handlers|