Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Fri 28 Sep 2018 15:30 - 16:10 at New York Central - Session 3

We tackle the issue of abstraction in languages with algebraic effects and handlers, in the sense embodied by an ML-style module system. This issue turns out to be not as simple as hiding the definition of an effect from the user, since the execution of effectful programs rely on a dynamic process of matching an operation to the appropriate handler. This process, if implemented naively, can break the abstraction by “stealing” an effect from the inside of what was supposed to be a black box. However, we can solve this issue in an elegant way by introducing effect coercions that prevent such capture. In this presentation, we discuss the design principles and practice of programming in Helium: an experimental language that features abstract algebraic effects.

Fri 28 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

15:30 - 16:10: ML 2018 - Session 3 at New York Central
mlfamilyworkshop-2018-papers15:30 - 16:10
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław