# Matija Pretnar: Asynchronous operations

Date: 30. 1. 2020

Source: Mathematics and theoretical computing seminar

Source: Mathematics and theoretical computing seminar

Četrtek, 6. 2. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21

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.