Domov > Obvestila > Matija Pretnar: Asynchronous operations

Matija Pretnar: Asynchronous operations

Datum objave: 30. 1. 2020
Vir: Seminar za temelje matematike in teoretično računalništvo
Č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.