Matija Pretnar: Algebrajski učinki 2.0
Date of publication: 3. 5. 2011
Mathematics and theoretical computing seminar
Torek, 3. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Povzetek: na seminarju bom predstavil zadnjo različico algebrajskega pristopa k računskim učinkom (izjeme, pomnilnik, vhodno/izhodne naprave, nedeterminizem, ...) ter njihovim prestreznikom. Pristop je sedaj precej poenostavljen in vsebuje le najbistvenejše elemente, potrebne za razumevanje algebrajskih učinkov. Tokrat tako sploh ne bomo potrebovali že tradicionalnega polurnega uvoda v monade.
Za najavo v zadnjem trenutku se opravičujemo, vsi ste lepo vabljeni!
