Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sun 23 Sep 2018 14:30 - 15:10 at Frisco+Burlington Route - afternoon-2

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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

14:30 - 15:10
Taming Control Flow through Linear Effect Handlers
Daan Leijen Microsoft Research, USA, Jonathan Immanuel Brachthäuser University of Tübingen, Germany