ICFP 2021
Sun 22 - Sat 28 August 2021
Sun 22 Aug 2021 20:00 - 20:30 at HOPE - Session 3

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 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Session 3HOPE at HOPE
20:00
30m
Talk
Higher-Order Asynchronous Effects
HOPE
Danel Ahman University of Ljubljana, Matija Pretnar University of Ljubljana, Slovenia, Janez Radešček University of Ljubljana
Pre-print File Attached
20:30
30m
Talk
Handler calculus
HOPE
Sam Lindley The University of Edinburgh, UK
File Attached
21:00
30m
Talk
A Monad for Shared-State Concurrency
HOPE
Yotam Dvir Tel Aviv University, Ori Lahav Tel Aviv University, Ohad Kammar University of Edinburgh
File Attached