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

hope-2018-papers
14:30 - 15:10: HOPE 2018 - afternoon-2 at Frisco+Burlington Route
hope-2018-papers14:30 - 15:10
Talk
Daan LeijenMicrosoft Research, USA, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany