In this talk we will give an overview of our recent work on accommodating asynchrony within programming with algebraic effects, after which we will also discuss our ongoing work on a number of extensions and generalisations that will enable programmers to write more realistic asynchronous programs more naturally.
|Talk slides (hope21.pdf)||327KiB|
Sun 22 AugDisplayed time zone: Seoul change
20:00 - 21:30
|Higher-Order Asynchronous Effects|
Danel Ahman University of Ljubljana, Matija Pretnar University of Ljubljana, Slovenia, Janez Radešček University of LjubljanaPre-print File Attached
Sam Lindley The University of Edinburgh, UKFile Attached
|A Monad for Shared-State Concurrency|