Taming Control Flow through Linear Effect Handlers (HOPE 2018)

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Who

Daan Leijen, Jonathan Immanuel Brachthäuser

Track

HOPE 2018

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 23 Sep 2018 14:30 - 15:10 at Frisco+Burlington Route - afternoon-2

Abstract

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.

Daan Leijen

Microsoft Research, USA

United States

Jonathan Immanuel Brachthäuser

University of Tübingen, Germany