Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 17:15 - 17:40 at L3 - Effects

Useful real-world functional programs must often confront the Awkward Squad [7], a range of un-beautiful issues concerning the interplay between concurrency, input/output, exceptions, resources, etc. We show that algebraic effects and their handlers can elegantly express such programs without compromising performance. In particular, we introduce asynchronous effects and their handlers, and show how they elegantly solve the interaction between user-level threads and operating system services.

Thu 7 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

16:50 - 17:40: ML 2017 - Effects at L3
mlfamilyworkshop-2017-papers16:50 - 17:15
mlfamilyworkshop-2017-papers17:15 - 17:40
Stephen Dolan, Spiros EliopoulosJane Street Group, Daniel HillerströmThe University of Edinburgh, Anil MadhavapeddyOCaml Labs, KC SivaramakrishnanUniversity of Cambridge, Leo WhiteJane Street