Matija Pretnar: Asynchronous operations
Source: Mathematics and theoretical computing seminar
joint work with Danel Ahman
Abstract: In the standard algebraic approach to effects, once an operation is called, the evaluation of the continuation stalls until it gets a result (either from a built-in primitive effect or through a handler). But we often desire asynchronous behaviour, when the continuation may proceed with the evaluation and suitably incorporates the result once it arrives. I will describe a small calculus with primitives for sending and receiving such signals.