Alex Simpson: Modalities of effectful computation

Datum objave: 16. 3. 2015
Seminar za temelje matematike in teoretično računalništvo
Torek, 17. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Abstract: Most real-world computation is "effectful"; that is, it has an effect on and/or is affected by the environment within which it is computed. In the talk I shall discuss how behavioural properties of effectful computation can be naturally captured using suitably tailored modalities. Different kinds of effect are distinguished through having different modalities associated with them. Nevertheless, it should be possible to develop a general theory of effect modalities, providing a unifying theory of behaviour for computational effects.